Function rustc_query_impl::query_impl::instantiate_and_check_impossible_predicates::query_key_hash_verify

pub(crate) fn query_key_hash_verify<'tcx>(tcx: TyCtxt<'tcx>)