module 0x8675309::M {
    struct S has drop {}
    struct R {}

    fun t0() {
        (&true : &bool);
        (&mut false : &mut bool);
        (&0 : &u64);
        (&mut 1 : &mut u64);
        (&S {} : &S);
        (&mut S{} : &mut S);
    }
}