module 0x8675309::M {
    struct R {f: u64}

    fun t0() {
        let _: R;
        // the following is an invalid binding too but its error message will
        // not show because the compilation fails early at the typing phase
        let _r: R;
        let (_, _):(R, R);
    }
}