summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/issue-96665.rs
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() {}