{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"record!(self.tables.opaque_ty_origin[def_id]"}]}
                record!(self.tables.opaque_ty_origin[def_id] <- self.tcx.opaque_ty_origin(def_id));
                self.encode_explicit_item_self_bounds(def_id);
                self.encode_precise_capturing_args(def_id);