fix: handle 'any' values properly in 'ControlOf'

[rafaelss95]

PR Checklist

Please check if your PR fulfills the following requirements:

• The commit message follows our guidelines: CONTRIBUTING.md#commit
• Tests for the changes have been added (for bug fixes / features)
• Docs have been added / updated (for bug fixes / features)

PR Type

What kind of change does this PR introduce?

[x] Bugfix
[ ] Feature
[ ] Code style update (formatting, local variables)
[ ] Refactoring (no functional changes, no api changes)
[ ] Build related changes
[ ] CI related changes
[ ] Documentation content changes
[ ] Other... Please describe:

What is the current behavior?

The ControlsOf type recognizes any values as FormArrays.

Issue Number: Related to #59.

What is the new behavior?

The ControlsOf type recognizes any values as any.

Does this PR introduce a breaking change?

[ ] Yes
[x] No

[itayod]

Suggested change

	? T
	? AbstractControl<T>

[itayod]

I didn't like you used unknown to detect any type, let's use a safer way.
please add and use this utility:

type ExtractAny<T> = T extends Extract<T, string & number & boolean & object & null & undefined> ? any : never;

[rafaelss95]

@itayod Excuse me, I'm not sure I got this suggestion 🤔. Could you explain how it would work as expected with a full example? I was unable to make it work properly.

Btw, is there any reason of disliking the use of unknown? Do you have any cases where it would break? Please let me know, thanks.

[itayod]

@rafaelss95 I actually tried it in my project and it broke my code. About the example there you go:

type ExtractAny<T> = T extends Extract<T, string & number & boolean & object & null & undefined> ? any : never;

export declare type ControlOf<T> = [T] extends ExtractAny<T> ? AbstractControl<T> : [T] extends [Array<any>] ?
  FormArray<ControlOf<UnwrapArray<T>>>
  : [T] extends [object] ? FormGroup<ControlsOf<T>>
  : FormControl<T>;

[rafaelss95]

Aha, you wrapped T... now I was able to make it work :)

[rafaelss95]

I noticed another strange behavior (with both solutions):

Note that when you have a ReadonlyArray, it infers it as a FormGroup, while a FormArray would be expected.

---

Edit: just found the bug.

reactive-forms/projects/ngneat/reactive-forms/src/lib/types.ts

Line 64 in ee41c40

type ArrayType<T> = T extends Array<infer R> ? R : any;

To handle ReadonlyArray properly it should be:

 type ArrayType<T> = T extends ReadonlyArray<infer R> ? R : any; 

As it would be a bit out of the context of this PR, I would prefer to open another PR with this and another fixes about acceptance of ReadonlyArray.

[itayod]

LGTM