lifetime-generate can't handle Arc/Rc/Box being used as receiver

[tjhance]

verus!{
pub struct Foo {
}

impl Foo {
    pub fn get(&self, args: &u8) -> (out: u8) { 0 }
}

fn main() {
    let foo = Foo::new();
    let shared_foo = Arc::new(foo);
    let v = shared_foo.get(&20);
}
}

work-around is to write (*shared_foo).get