Use existing infcx
when emitting trait impl diagnostic
#75363
Merged
infcx
when emitting trait impl diagnostic
#75363