mirror of https://github.com/rust-lang/rust
21 lines
426 B
Rust
21 lines
426 B
Rust
#![feature(inherent_associated_types)]
|
|
#![allow(incomplete_features)]
|
|
|
|
struct S<A, B>(A, B);
|
|
struct Featureless;
|
|
|
|
trait One {}
|
|
trait Two {}
|
|
|
|
impl<T: One> S<Featureless, T> {
|
|
type X = ();
|
|
}
|
|
|
|
impl<T: Two> S<T, Featureless> {
|
|
type X = String;
|
|
}
|
|
|
|
fn main() {
|
|
let _: S::<Featureless, Featureless>::X; //~ ERROR the associated type `X` exists for `S<Featureless, Featureless>`, but its trait bounds were not satisfied
|
|
}
|