Closed
Description
traits::SelectionContext::new(&infcx).infcx().predicate_must_hold(..)
should be
infcx.predicate_must_hold(..)
according to #2703 (comment)
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests