diff options
Diffstat (limited to 'tests/untried/pos/t7264')
-rw-r--r-- | tests/untried/pos/t7264/A_1.scala | 11 | ||||
-rw-r--r-- | tests/untried/pos/t7264/B_2.scala | 7 |
2 files changed, 18 insertions, 0 deletions
diff --git a/tests/untried/pos/t7264/A_1.scala b/tests/untried/pos/t7264/A_1.scala new file mode 100644 index 000000000..044d0110a --- /dev/null +++ b/tests/untried/pos/t7264/A_1.scala @@ -0,0 +1,11 @@ +object Foo { + object Values { + implicit def fromInt(x: Int): Values = ??? + } + trait Values +} +final class Foo(name: String) { + def bar(values: Foo.Values): Bar = ??? +} + +trait Bar diff --git a/tests/untried/pos/t7264/B_2.scala b/tests/untried/pos/t7264/B_2.scala new file mode 100644 index 000000000..a8af2e727 --- /dev/null +++ b/tests/untried/pos/t7264/B_2.scala @@ -0,0 +1,7 @@ +object Test { + // if the following line is uncommented, things compile + // type X = Foo.Values + + + def foo(f: Foo) = f.bar(0 /* : Foo.Values */) +} |