blob: 894a00bcf7f441017b5f994c7ca518a209e710c3 (
plain) (
tree)
|
|
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
}
|