diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-01-08 11:56:42 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-01-08 11:56:42 +0100 |
| commit | 0bc9f680af7670985ff10b1e5fa472655745c90b (patch) | |
| tree | 19a7928750f33494d1d07cdb7acb546085032a1d /src/dotty/tools/dotc/config/Config.scala | |
| parent | 979ff5e0dbffc66fd008be0544690dbd194fe066 (diff) | |
| download | dotty-0bc9f680af7670985ff10b1e5fa472655745c90b.tar.gz dotty-0bc9f680af7670985ff10b1e5fa472655745c90b.tar.bz2 dotty-0bc9f680af7670985ff10b1e5fa472655745c90b.zip | |
Remove choice between new and old scheme for subtyping refined types.
Now that new scheme works we can drop the alternative.
Diffstat (limited to 'src/dotty/tools/dotc/config/Config.scala')
| -rw-r--r-- | src/dotty/tools/dotc/config/Config.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/config/Config.scala b/src/dotty/tools/dotc/config/Config.scala index 0918dc20d..e1657a273 100644 --- a/src/dotty/tools/dotc/config/Config.scala +++ b/src/dotty/tools/dotc/config/Config.scala @@ -19,7 +19,7 @@ object Config { * are tested for direct or indirect dependencies, each time a * constraint is added in TypeComparer. */ - final val checkConstraintsNonCyclicTrans = true + final val checkConstraintsNonCyclicTrans = false /** Type comparer will fail with an assert if the upper bound * of a constrained parameter becomes Nothing. This should be turned |