Skip to content

Clarify ambiguity during unification; overhaul normalization fallback#38

Merged
nikomatsakis merged 2 commits intorust-lang:masterfrom aturon:maybe-substJun 13, 2017

Commits

Commits on Jun 7, 2017