Skip to content

traits: Implement interning for Goal and Clause#49800

Merged
bors merged 1 commit intorust-lang:masterfrom
ishitatsuyuki:intern-goal
Apr 13, 2018

Commits

Commits on Apr 12, 2018