Pass canonical goals to program clauses code in SLG solver#624

Merged

bors merged 3 commits intorust-lang:masterfrom nathanwhit:slg-program-clauses

Dec 10, 2020

+69-46

Commits on Dec 8, 2020

Find program clauses for canonical goals in SLG

nathanwhit
authored and
jackh726
committed

Commits on Dec 9, 2020

Simplify program clause methods

nathanwhit
authored and
jackh726
committed
Forbid inference vars when getting program clauses
jackh726
committed