{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                    .insert(id, self.result.locals.alloc(Local { ty: self.infer[id].clone() }));
        }