diff options
author | Eugene Burmako <xeno.by@gmail.com> | 2014-03-07 22:04:04 +0100 |
---|---|---|
committer | Eugene Burmako <xeno.by@gmail.com> | 2014-03-07 22:04:04 +0100 |
commit | 10154cf27d4e8f9f9be5411fb6bfb9b8fbe62ebc (patch) | |
tree | f92cf356af2254a5e655aa7df753018c514de6eb /test | |
parent | 2dddb03b267770afcd0249ad700e55d53019e637 (diff) | |
download | scala-10154cf27d4e8f9f9be5411fb6bfb9b8fbe62ebc.tar.gz scala-10154cf27d4e8f9f9be5411fb6bfb9b8fbe62ebc.tar.bz2 scala-10154cf27d4e8f9f9be5411fb6bfb9b8fbe62ebc.zip |
SI-8369 resetAttrs now correctly accounts for skolems
resetAttrs (née resetLocalAttrs) has been oblivious to existence of skolems.
Not anymore, which prevents us from reverting to the untyper nightmare.
Diffstat (limited to 'test')
-rw-r--r-- | test/files/pos/t8369a.check | 0 | ||||
-rw-r--r-- | test/files/pos/t8369a.scala | 5 | ||||
-rw-r--r-- | test/files/pos/t8369b.check | 0 | ||||
-rw-r--r-- | test/files/pos/t8369b.scala | 18 |
4 files changed, 23 insertions, 0 deletions
diff --git a/test/files/pos/t8369a.check b/test/files/pos/t8369a.check new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/test/files/pos/t8369a.check diff --git a/test/files/pos/t8369a.scala b/test/files/pos/t8369a.scala new file mode 100644 index 0000000000..0596fdaf74 --- /dev/null +++ b/test/files/pos/t8369a.scala @@ -0,0 +1,5 @@ +object Bug { + trait Sys[S] + def test[S <: Sys[S]] = read[S]() + def read[S <: Sys[S]](baz: Any = 0): Some[S] = ??? +}
\ No newline at end of file diff --git a/test/files/pos/t8369b.check b/test/files/pos/t8369b.check new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/test/files/pos/t8369b.check diff --git a/test/files/pos/t8369b.scala b/test/files/pos/t8369b.scala new file mode 100644 index 0000000000..8145911db1 --- /dev/null +++ b/test/files/pos/t8369b.scala @@ -0,0 +1,18 @@ +object Bug { + trait Sys[S] { + type Tx + } + + trait Baz[-Tx] + + trait Foo[S <: Sys[S]] { + def bar: Bar[S] = Bar.read[S]() + } + + object Bar { + object NoBaz extends Baz[Any] + + def read[S <: Sys[S]](baz: Baz[S#Tx] = NoBaz): Bar[S] = ??? + } + trait Bar[S <: Sys[S]] +}
\ No newline at end of file |