{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"opaque_ty_origin:"}]}
    opaque_ty_origin: Table<DefIndex, LazyValue<hir::OpaqueTyOrigin<DefId>>>,
    assumed_wf_types_for_rpitit: Table<DefIndex, LazyArray<(Ty<'static>, Span)>>,
    anon_const_kind: Table<DefIndex, LazyValue<ty::AnonConstKind>>,