{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"record!(self.tables.object_lifetime_default[def_id]"}]}
                record!(self.tables.object_lifetime_default[def_id] <- default);
                let default = self.tcx.object_lifetime_default(def_id);
            }