1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
// 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
}
|
