mirror of https://github.com/rust-lang/rust
26 lines
416 B
Rust
26 lines
416 B
Rust
//@ 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() {}
|