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/files/pos/t8369b.scala | |
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/files/pos/t8369b.scala')
-rw-r--r-- | test/files/pos/t8369b.scala | 18 |
1 files changed, 18 insertions, 0 deletions
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 |