//@ 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() {} |