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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

// check-pass

use std::borrow::Borrow;

trait TNode: Sized {
    type ConcreteElement: TElement<ConcreteNode = Self>;
}

trait TElement: Sized {
    type ConcreteNode: TNode<ConcreteElement = Self>;
}

trait DomTraversal<N: TNode> {
    type BorrowElement: Borrow<N::ConcreteElement>;
}

#[allow(dead_code)]
fn recalc_style_at<E, D>()
where
    E: TElement,
    D: DomTraversal<E::ConcreteNode>,
{
}

fn main() {}