{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"self.update(field,"}]}
                            self.update(field, variant_ev, Level::Reachable);
                            let field = field.did.expect_local();
                            self.reach(field, variant_ev).ty();