module 0x8675309::M {
    struct S { f: u64, g: u64 }
    fun id<T>(r: &T): &T {
        r
    }
    fun id_mut<T>(r: &mut T): &mut T {
        r
    }
    fun imm_imm<T1, T2>(_x: &T1, _y: &T2) { }
    fun mut_imm<T1, T2>(_x: &mut T1, _y: &T2) { }
    fun mut_mut<T1, T2>(_x: &mut T1, _y: &mut T2) { }

    fun t0(s1: &mut S, s2: &mut S) {
        imm_imm(freeze(s1), freeze(s1));
        imm_imm(freeze(s1), &s1.f);
        imm_imm(&s1.f, &s1.f);
        imm_imm(id(s1), s2);

        mut_imm(&mut s1.f, &s1.g);
        mut_imm(id_mut(&mut s1.f), id(&s1.g));

        mut_mut(&mut s1.f, &mut s2.g);
        mut_mut(id_mut(&mut s1.f), &mut s2.g);
        mut_mut(s1, s2);
    }
}