blob: 87be2987ab78d3f84c26fada1b6f94051a059690 (
plain) (
tree)
|
|
abstract class Root {
abstract class Edge {
type V;
def source: V;
}
abstract class Graph {
type W;
type E <: Edge{type V = W};
def edge: E;
}
val g: Graph{type W = Int};
val x: Int = g.edge.source;
}
|