blob: a571d48d97a220ef3eebe9588de8055e5446e53c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// check-pass
pub trait Sequence<Item, Subsequence: Sequence<Item, Subsequence>> {}
pub trait NodeWalk<Graph: GraphBase, NodeSubwalk: NodeWalk<Graph, NodeSubwalk>>:
Sequence<Graph::NodeIndex, NodeSubwalk>
{
}
pub trait GraphBase {
type NodeIndex;
}
pub trait WalkableGraph: GraphBase {}
fn main() {}
|
