Sema: Fix 'generic parameter mentioned in signature' check edge case with subscripts
If a generic parameter is same-type-constrained to an outer type
parameter, it doesn't have to appear in the subscript's signature.
- Fixes https://github.com/swiftlang/swift/issues/50917.