intern "substitutions"#316

nikomatsakis merged 6 commits intorust-lang:masterrust-lang/chalk:masterfrom

nikomatsakis:cleanup-chalk-ir-no-vec-parameternikomatsakis/chalk-ndm:cleanup-chalk-ir-no-vec-parameterCopy head branch name to clipboard