Type inference: Generalize typeConstraintBaseTypeMatch
#38851
check-change-note.yml
on: pull_request_target
check-change-note
4s