[compiler-v2] Revise ability checking for type parameters

[compiler-v2] Revise ability checking for type parameters #39306