Don't constrain projection predicates with inference vars in GAT substs#92917

Merged

bors merged 2 commits intorust-lang:masterfrom

jackh726:issue-91762-2

Feb 9, 2022

Commits on Feb 7, 2022

Don't match any projection predicates when the obligation has inference types or consts in GAT substs
jackh726
committed
Change inference var check to be in project_type
jackh726
committed