Check that we don't leak uninstantiated type variables#4084

Merged

odersky merged 1 commit intoscala:masterfrom

dotty-staging:check-tvar-instantiation

Mar 26, 2018

Commits on Mar 20, 2018

TreeChecker: check that type variables are instantiated
smarter
committed