#![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() {}