Detect when 'static
obligation might come from an impl
#73783
Merged
'static
obligation might come from an impl
#73783