Default TTransformedValues generics to TFieldValues

[kevinresol]

• Successor to Fix data param in handleSubmit when TTransformedValues is a union type #11420
• Basically TTransformedValues extends FieldValues = TFieldValues everywhere.
• Breaking change for people who write code that forwards generics manually (e.g. 🐞issue: Controlled component is broken (TS-only) with TTransformedValues generic value being used #11508). The migration is to add the new generic type parameter to the wrapper type and forward it as well. Example shown below:

interface ControlledInputProps<
  T extends FieldValues,
  N extends FieldPath<T>,
+  U extends FieldValues = T,
 >  {
-  control: Control<T>;
+  control: Control<T, any, U>;
}

[codesandbox]

Review or Edit in CodeSandbox

Open the branch in Web Editor • VS Code • Insiders

Open Preview

[jedahu]

Having TTransformedValues extend TFieldValues means your schema resolver cannot parse to a different shaped type which is an undesirable limitation imo.

I have a PR here (#11951) which removes that constraint.

I've just added this PR's type test to it and it passes.

[kevinresol]

Having TTransformedValues extend TFieldValues means your schema resolver cannot parse to a different shaped type which is an undesirable limitation imo.

I have a PR here (#11951) which removes that constraint.

I've just added this PR's type test to it and it passes.

That is very true. But it is out of scope for this PR. Happy to update (if needed) when #11951 gets merged.