diff options
Diffstat (limited to 'tests/untried/neg/t0764.scala')
-rw-r--r-- | tests/untried/neg/t0764.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/untried/neg/t0764.scala b/tests/untried/neg/t0764.scala index 7ee76feab..0c3f857a8 100644 --- a/tests/untried/neg/t0764.scala +++ b/tests/untried/neg/t0764.scala @@ -29,7 +29,7 @@ _1.type <:< Node{type T = NextType} (because skolemization and _1's upper bound) Node{type T = NextType} <:< _1.type forSome val _1: Node{type T = NextType} because: Node{type T = NextType} <:< T forSome {type T <: Node{type T = NextType} with Singleton} -because +because Node{type T = NextType} <:< Node{type T = NextType} with Singleton hmmm.. might the with Singleton be throwing a wrench in our existential house? |