Skip to content

traits: Implement interning for Goal and Clause#49800

Merged
bors merged 1 commit intorust-lang:masterfrom ishitatsuyuki:intern-goalApr 13, 2018
+151-59

Commits

Commits on Apr 12, 2018