module 0x8675309::M {

    fun t0() {
        { let x = false; };
        (x: bool);
    }

}