Remove @ts-expect-error assigned from required & requiredAsync function overloads

[EltonLobo07]

The code related to the required and requiredAsync function overloads generates a type error with a vague message: This overload signature is not compatible with its implementation signature. The source code looks correct, and after a few experiments, I was unable to figure out the issue associated with the type error. The type error might be unnecessary and incorrect, but I am not sure. The purpose of this GitHub issue is to work together and figure out the root cause of the type error. The relevant source code can be found here.

[EltonLobo07]

Since the types that are transformed are generic objects that are used to create new generic objects with some overridden properties, the type checker is unable to prove the transformation is safe. One possible solution that gets rid of the type error is to completely create a new object type without any transformation of the input as shown in the image below. Then using it as shown in the image below. The problem with this solution is that we will have to specify all of the known properties, which can be a maintenance burden.