mirror of https://github.com/rust-lang/rust
38 lines
503 B
Rust
38 lines
503 B
Rust
//@ check-pass
|
|
|
|
#![allow(unused)]
|
|
|
|
trait Bar<T> {
|
|
fn dummy(&self);
|
|
}
|
|
|
|
trait Foo {
|
|
type A;
|
|
type B: Bar<Self::A>;
|
|
|
|
fn get_b(&self) -> &Self::B;
|
|
}
|
|
|
|
fn test_bar<A, B: Bar<A>>(_: &B) {}
|
|
|
|
fn test<A, F: Foo<A = A>>(f: &F) {
|
|
test_bar(f.get_b());
|
|
}
|
|
|
|
trait Bar1<T> {}
|
|
trait Caz1 {
|
|
type A;
|
|
type B: Bar1<Self::A>;
|
|
}
|
|
|
|
fn test1<T, U>() where T: Caz1, U: Caz1<A = T::A> {}
|
|
|
|
trait Bar2<T> {}
|
|
trait Caz2 {
|
|
type A;
|
|
type B: Bar2<Self::A>;
|
|
}
|
|
fn test2<T: Caz2<A = ()>>() {}
|
|
|
|
fn main() {}
|