[BETA] Universe leak check - #58641

Closed

nikomatsakis wants to merge 8 commits into

rust-lang:betafrom

nikomatsakis:universe-leak-check-beta

Commits on Feb 22, 2019

make generalization code create new variables in correct universe
nikomatsakis
committed
3e41331
s/skol_/placeholder_/
nikomatsakis
committed
6908300
reintroduce `commit_if_ok` call into `higher_ranked_sub`
nikomatsakis
committed
ed3ac1a
reintroduce `commit_if_ok` calls to `subtype_predicate`
nikomatsakis
committed
ed747ea
introduce a dummy leak check and invoke it in all the right places
nikomatsakis
committed
bdc70a0
restore the actual leak-check
nikomatsakis
committed
f8fdb9a
update test files to reflect new output
nikomatsakis
committed
b0fd835
partially revert 904a0bde93f0348f69914ee90b1f8b6e4e0d7cbc
nikomatsakis
committed
c820008