simplify some internal code #2709
Description
traits::SelectionContext::new(&infcx).infcx().predicate_must_hold(..)
should be
infcx.predicate_must_hold(..)
according to #2703 (comment)
{{ message }}
traits::SelectionContext::new(&infcx).infcx().predicate_must_hold(..)
should be
infcx.predicate_must_hold(..)
according to #2703 (comment)