diff options
Diffstat (limited to 'tests/untried/pos/sammy_scope.scala')
-rw-r--r-- | tests/untried/pos/sammy_scope.scala | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/untried/pos/sammy_scope.scala b/tests/untried/pos/sammy_scope.scala new file mode 100644 index 000000000..79b85f3b0 --- /dev/null +++ b/tests/untried/pos/sammy_scope.scala @@ -0,0 +1,8 @@ +// test synthesizeSAMFunction: scope hygiene +abstract class SamFun[T1, R] { self => + def apply(v1: T1): R + + // this should type check, as the apply ref is equivalent to self.apply + // it shouldn't resolve to the sam's apply that's synthesized (that wouldn't type check, hence the pos test) + def compose[A](g: SamFun[A, T1]): SamFun[A, R] = { x => apply(g(x)) } +} |