src/test/ui/associated-types/issue-38917.rs

   1 // check-pass
   2
   3 use std::borrow::Borrow;
   4
   5 trait TNode: Sized {
   6     type ConcreteElement: TElement<ConcreteNode = Self>;
   7 }
   8
   9 trait TElement: Sized {
  10     type ConcreteNode: TNode<ConcreteElement = Self>;
  11 }
  12
  13 trait DomTraversal<N: TNode> {
  14     type BorrowElement: Borrow<N::ConcreteElement>;
  15 }
  16
  17 #[allow(dead_code)]
  18 fn recalc_style_at<E, D>()
  19 where
  20     E: TElement,
  21     D: DomTraversal<E::ConcreteNode>,
  22 {
  23 }
  24
  25 fn main() {}