{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"pat:"}]}
    pat: InternedSet<'tcx, PatternKind<'tcx>>,
    const_: InternedSet<'tcx, WithCachedTypeInfo<ty::ConstKind<'tcx>>>,
    const_allocation: InternedSet<'tcx, Allocation>,