blob: c80b1364ae3b8a24c7cf1c4c7c70eda674697ff4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// fail-check
#![feature(inherent_associated_types)]
#![allow(incomplete_features)]
// Test if we use the correct `ParamEnv` when proving obligations.
fn parameterized<T>() {
let _: Container<T>::Proj = String::new(); //~ ERROR the associated type `Proj` exists for `Container<T>`, but its trait bounds were not satisfied
}
struct Container<T>(T);
impl<T: Clone> Container<T> {
type Proj = String;
}
fn main() {}
|