diff options
| author | Samuel Gruetter <samuel.gruetter@epfl.ch> | 2014-12-14 17:56:36 +0100 |
|---|---|---|
| committer | Samuel Gruetter <samuel.gruetter@epfl.ch> | 2014-12-16 13:35:06 +0100 |
| commit | 5be609fc4e04e3cca5e1435ee41b8cacac9b0513 (patch) | |
| tree | 7837b8b9f7ad23482e57467ec0987110810cc148 /tests/untried/pos/ticket2251.scala | |
| parent | 981a21816e4cb10b8fbe4edcf0659fb3995d63f8 (diff) | |
| download | dotty-5be609fc4e04e3cca5e1435ee41b8cacac9b0513.tar.gz dotty-5be609fc4e04e3cca5e1435ee41b8cacac9b0513.tar.bz2 dotty-5be609fc4e04e3cca5e1435ee41b8cacac9b0513.zip | |
run srewrite version 88d3cd4126d135617a8189f0a855757d7e2ab806 on tests/untried/pos
Diffstat (limited to 'tests/untried/pos/ticket2251.scala')
| -rw-r--r-- | tests/untried/pos/ticket2251.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/untried/pos/ticket2251.scala b/tests/untried/pos/ticket2251.scala index c220e8535..006407247 100644 --- a/tests/untried/pos/ticket2251.scala +++ b/tests/untried/pos/ticket2251.scala @@ -25,7 +25,7 @@ lub of List(D, C) is B[_2] forSome { type _2 >: D with C{} <: B[_1] forSome { ty val data2 = List(new C, new D) - val data3: List[B[X] forSome { type X <: B[_ <: A] }] = List(new C, new D) + val data3: List[B[_ <: B[_ <: A]]] = List(new C, new D) // Not yet -- // val data4: List[B[X] forSome { type X <: B[X] }] = List(new C, new D) |