src/test/ui/traits/issue-96665.rs

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