issue-38147-1.rs

struct Pass<'a> {
    s: &'a mut String
}

impl<'a> Pass<'a> {
    fn f(&mut self) {
        self.s.push('x');
    }
}

struct Foo<'a> {
    s: &'a mut String
}

impl<'a> Foo<'a> {
    fn f(&self) {
        self.s.push('x'); //~ cannot borrow `*self.s` as mutable, as it is behind a `&` reference
    }
}

fn main() {}

// ferrocene-annotations: fls_a14slch83hzn
// Borrowing