module M {
    fun foo() {
        let f = 0;
        0 { f } = 0;
    }
}