Cleanup how we handle proto in types, remove unsound subtyping#3927

nikomatsakis wants to merge 1 commit intorust-lang:incomingrust-lang/rust:incomingfrom

nikomatsakis:issue-2202-vstores-and-fn-type-borrowsnikomatsakis/rust:issue-2202-vstores-and-fn-type-borrowsCopy head branch name to clipboard