{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"util::check_validity_requirement(tcx,"}]}
        util::check_validity_requirement(tcx, init_kind, param_env_and_ty)
    providers.check_validity_requirement = |tcx, (init_kind, param_env_and_ty)| {
    };