diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2011-01-26 07:32:21 +0000 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2011-01-26 07:32:21 +0000 |
| commit | fe1f2b8096571947ac07126fb155aba94ea2088a (patch) | |
| tree | b31a573ab0c9fb276bfaea8c4eacc86114b24ae8 /test | |
| parent | e372dc07675e31159dcd2989dcd99d2ead53948a (diff) | |
| download | scala-fe1f2b8096571947ac07126fb155aba94ea2088a.tar.gz scala-fe1f2b8096571947ac07126fb155aba94ea2088a.tar.bz2 scala-fe1f2b8096571947ac07126fb155aba94ea2088a.zip | |
closes #3977.
review by extempore
(because of recent sin against this holy principle)
Diffstat (limited to 'test')
| -rw-r--r-- | test/files/neg/t3977.check | 4 | ||||
| -rw-r--r-- | test/files/neg/t3977.scala | 13 |
2 files changed, 17 insertions, 0 deletions
diff --git a/test/files/neg/t3977.check b/test/files/neg/t3977.check new file mode 100644 index 0000000000..9da118ee91 --- /dev/null +++ b/test/files/neg/t3977.check @@ -0,0 +1,4 @@ +t3977.scala:12: error: could not find implicit value for parameter w: False#If[E] + new NotNull + ^ +one error found diff --git a/test/files/neg/t3977.scala b/test/files/neg/t3977.scala new file mode 100644 index 0000000000..f55a832c52 --- /dev/null +++ b/test/files/neg/t3977.scala @@ -0,0 +1,13 @@ +trait Bool { + type If[T] +} + +trait False extends Bool { + type If[F] = F +} + +class Field[E, N <: Bool](implicit val w: N#If[E]) { + type NotNull = Field[E, False] + + new NotNull +}
\ No newline at end of file |