diff options
Diffstat (limited to 'tests/pos')
-rw-r--r-- | tests/pos/projections.scala | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/pos/projections.scala b/tests/pos/projections.scala new file mode 100644 index 000000000..894a00bcf --- /dev/null +++ b/tests/pos/projections.scala @@ -0,0 +1,14 @@ +class projections { + + class Lambda { type Arg; type Apply } + + var x: (Lambda { type Apply = Int; type Arg = String }) # Apply = _ + var y: Int = _ + x = y + y = x + + var xx: (Lambda { type Apply = Arg } { type Arg = Int }) # Apply = _ + xx = y + y = xx + +} |