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