Remove symmetries in the `subset` relation#78

nikomatsakis merged 1 commit intorust-lang:masterrust-lang/polonius:masterfrom

lqd:the-symmetrycity-of-our-citylqd/borrow-check:the-symmetrycity-of-our-cityCopy head branch name to clipboard