Merge pull request #16491 from mppf/issue-16478
Adjust checkGenericFormals to always do type-independent checks
Follow-up to #16479
This PR adjusts checkGenericFormals to do the type-independent checks
outside of the check for the argument type being established.
Additionally it addresses a redundancy identified in the review of #16479.
Reviewed by @vasslitvinov - thanks!
- [x] full local futures testing