diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-01-09 23:41:46 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-01-09 23:41:46 +0100 |
| commit | d998a3287b465e99340c50f01680f8b3b9b87218 (patch) | |
| tree | ba30e46fdaebe7544a8dbd45a2afb994ad4762dc /src/dotty/tools/dotc/typer/Mode.scala | |
| parent | 6135d51b35ec20199231984e978a6be99169d351 (diff) | |
| download | dotty-d998a3287b465e99340c50f01680f8b3b9b87218.tar.gz dotty-d998a3287b465e99340c50f01680f8b3b9b87218.tar.bz2 dotty-d998a3287b465e99340c50f01680f8b3b9b87218.zip | |
Refine eligibility
Because eligibility is tested in a context which is different from the implicit search context, we cannot assume that type variables have their constraint recorded. So we have to approximate subtype tests with PolyParams which are not in the constraint set.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Mode.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Mode.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/typer/Mode.scala b/src/dotty/tools/dotc/typer/Mode.scala index b11d4dc7d..65afbd7c8 100644 --- a/src/dotty/tools/dotc/typer/Mode.scala +++ b/src/dotty/tools/dotc/typer/Mode.scala @@ -31,5 +31,7 @@ object Mode { val ImplicitsEnabled = newMode(2, "ImplicitsEnabled") val InferringReturnType = newMode(3, "InferencingReturnType") + val TypevarsMissContext = newMode(4, "TypevarsMissContext") + val PatternOrType = Pattern | Type }
\ No newline at end of file |