fn hash_statements<'a, 'tcx, H: Hasher>( hasher: &mut H, iter: impl Iterator<Item = &'a Statement<'tcx>>)where 'tcx: 'a,