diff options
author | Martin Odersky <odersky@gmail.com> | 2014-04-30 14:54:18 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-05-08 21:51:47 +0200 |
commit | cb1f9cb03f9610d0c6f4d8aa08b9144e90dcf2b5 (patch) | |
tree | 65d8cd832e4955b5e08aadec143a724bc9409eae /src/dotty/tools/dotc/core/TypeApplications.scala | |
parent | 4d47745e8fbadc26aaa093b3513d1c9b42798bed (diff) | |
download | dotty-cb1f9cb03f9610d0c6f4d8aa08b9144e90dcf2b5.tar.gz dotty-cb1f9cb03f9610d0c6f4d8aa08b9144e90dcf2b5.tar.bz2 dotty-cb1f9cb03f9610d0c6f4d8aa08b9144e90dcf2b5.zip |
Optimization: Avoid substituting when checking satisfiability
Instead of replacing all constrained poly params by their lower bounds before checking satsfiability,
we now do this on the fly in the subtype tests.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeApplications.scala')
0 files changed, 0 insertions, 0 deletions