mirror of https://github.com/rust-lang/rust
22 lines
628 B
Rust
22 lines
628 B
Rust
// Regression test for issue #104251.
|
|
|
|
#![feature(inherent_associated_types)]
|
|
#![allow(incomplete_features)]
|
|
|
|
struct Container<T: ?Sized>(T);
|
|
|
|
impl<T> Container<T> {
|
|
type Yield = i32;
|
|
}
|
|
|
|
struct Duple<T, U>(T, U);
|
|
|
|
impl<T: Copy, U: Send> Duple<T, U> {
|
|
type Combination = (T, U);
|
|
}
|
|
|
|
fn main() {
|
|
let _: Container<[u8]>::Yield = 1; //~ ERROR the associated type `Yield` exists for `Container<[u8]>`, but its trait bounds were not satisfied
|
|
let _: Duple<String, std::rc::Rc<str>>::Combination; //~ ERROR the associated type `Combination` exists for `Duple<String, Rc<str>>`, but its trait bounds were not satisfied
|
|
}
|