[canonicalization] fix result canonicalization example#304
Merged
nikomatsakis merged 1 commit intorust-lang:masterfrom May 4, 2019
Merged
[canonicalization] fix result canonicalization example#304nikomatsakis merged 1 commit intorust-lang:masterfrom
nikomatsakis merged 1 commit intorust-lang:masterfrom