Function query_key_hash_verify_all 

pub fn query_key_hash_verify_all<'tcx>(tcx: TyCtxt<'tcx>)