Skip to content

Inline evaluate_obligation instead of going through the query system#81150

Closed
jyn514 wants to merge 2 commits intorust-lang:masterfrom jyn514:evaluate-obligation

Commits

Commits on Jan 18, 2021