Intern Vec<ProgramClause<I>>#370

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

tirr-c:intern-program-clausetirr-c/chalk:intern-program-clauseCopy head branch name to clipboard