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

pub struct Struct {
    pub path: String,
}

// In `upvar.rs`, `truncate_capture_for_optimization` means that we don't actually
// capture `&(*s.path)` here, but instead just `&(*s)`, but ONLY when the upvar is
// immutable. This means that the assumption we have in `ByMoveBody` pass is wrong.
pub fn test(s: &Struct) {
    let c = async move || { let path = &s.path; };
}

fn main() {}