diff options
| author | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-10-07 16:58:46 -0700 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-10-08 23:07:33 -0700 |
| commit | 4265ab6345d7e84e36dc1444fdbbba3643b29b35 (patch) | |
| tree | 3540d1bd334a504ed29e17d4989f67988c5bafeb /test/files/pos/sammy_single.scala | |
| parent | 00c9c164f57223738789bdfd14959367a39c8d32 (diff) | |
| download | scala-4265ab6345d7e84e36dc1444fdbbba3643b29b35.tar.gz scala-4265ab6345d7e84e36dc1444fdbbba3643b29b35.tar.bz2 scala-4265ab6345d7e84e36dc1444fdbbba3643b29b35.zip | |
Extract SerialVersionUIDAnnotation. Make SAM body synthetic.
Addressing review feedback.
Diffstat (limited to 'test/files/pos/sammy_single.scala')
| -rw-r--r-- | test/files/pos/sammy_single.scala | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/files/pos/sammy_single.scala b/test/files/pos/sammy_single.scala new file mode 100644 index 0000000000..7a3d272983 --- /dev/null +++ b/test/files/pos/sammy_single.scala @@ -0,0 +1,9 @@ +// test that dependent types work +// TODO: def apply(x: String): x.type does NOT work yet +object Test { + val s: String = "" + + trait T { def apply(x: s.type): s.type } + + val preservedResult: s.type = ((x => x): T)(s) +}
\ No newline at end of file |