Fix #8976: Do not instantiate type variables outside bounds#9010

Closed

odersky wants to merge 2 commits intoscala:masterfrom

dotty-staging:fix-#8976

Commits on May 20, 2020

Fix #8976: Avoid instantiations of type variables that do not fit their bounds
odersky
committed
Use frozen_<:< for testing instances within bounds
odersky
committed