A lot of refactoring to remove more `Binder::bind`s#80106

Merged

bors merged 2 commits intorust-lang:masterfrom

jackh726:binder-refactor-part-2

Dec 19, 2020

Commits on Dec 18, 2020

Change potentially_qualified to be defined on Binder<PredicateAtom>
jackh726
committed

Commits on Dec 19, 2020

More rebinds
jackh726
committed