//@ edition: 2021
//@ check-pass

#![feature(impl_trait_in_bindings)]

struct FooS {
    precise: i32,
}

fn ref_inside_mut(f: &mut &FooS) {
    let x: impl AsyncFn() = async move || {
        let y = &f.precise;
    };
}

fn mut_inside_ref(f: &&mut FooS) {
    let x: impl AsyncFn() = async move || {
        let y = &f.precise;
    };
}

fn mut_ref_inside_mut(f: &mut &mut FooS) {
    let x: impl AsyncFn() = async move || {
        let y = &f.precise;
    };
}

fn ref_inside_box(f: Box<&FooS>) {
    let x: impl AsyncFn() = async move || {
        let y = &f.precise;
    };
}

fn box_inside_ref(f: &Box<FooS>) {
    let x: impl AsyncFn() = async move || {
        let y = &f.precise;
    };
}

fn box_inside_box(f: Box<Box<FooS>>) {
    let x: impl AsyncFn() = async move || {
        let y = &f.precise;
    };
}

fn main() {}