Expand the "givens" set to cover transitive relations. #24527

Merged

bors merged 1 commit intorust-lang:masterfrom

nikomatsakis:issue-24085

Jun 20, 2015

Commits on Jun 19, 2015

Expand the "givens" set to cover transitive relations. The givens array
nikomatsakis
committed