{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"providers.check_validity_requirement"}]}
    providers.check_validity_requirement = |tcx, (init_kind, param_env_and_ty)| {
        |tcx, cv| const_eval::valtree_to_const_value(tcx, ty::TypingEnv::fully_monomorphized(), cv);
        util::check_validity_requirement(tcx, init_kind, param_env_and_ty)