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