Make checkParameterizedTypeIsInstantiated recursive

[darkdrag00nv2]

Issue to be solved

#2523 (comment)

I think then the checkParameterizedTypeIsInstantiated must be recursive.
i.e: It should also look for the types nested within other types.

For e.g: An array of InclusiveRange (without the type parameter), can be defined without any errors.

let r: [InclusiveRange] = []    // no errors

Suggested Solution

No response