{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"self.elaborator.patch().add_assign("}]}
        self.elaborator.patch().add_assign(
        let term_loc = self.elaborator.terminator_loc(pin_obj_bb);
            term_loc,