blob: cc9167b340ad72aca6a9cc01be0e6b18e8c22569 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#![feature(type_alias_impl_trait)]
trait Trait {
type Associated;
fn func() -> Self::Associated;
}
trait Bound {}
pub struct Struct;
impl Trait for Struct {
type Associated = impl Bound;
fn func() -> Self::Associated {
Some(42).map(|_| j) //~ ERROR cannot find value `j` in this scope
}
}
fn main() {}
|