diff options
Diffstat (limited to 'tests/untried/neg/t3977.scala')
-rw-r--r-- | tests/untried/neg/t3977.scala | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/untried/neg/t3977.scala b/tests/untried/neg/t3977.scala new file mode 100644 index 000000000..11a8cdba4 --- /dev/null +++ b/tests/untried/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 NoNull = Field[E, False] + + new NoNull +} |