{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":"}),"}]}
            }),
                BoundRegionKind::BrEnv => rustc_ty::BoundRegionKind::ClosureEnv,
            BoundVariableKind::Const => rustc_ty::BoundVariableKind::Const,