Tweaks to ValueComparer nullability

Following #24261

src/EFCore/ChangeTracking/ArrayStructuralComparer.cs

@@ -12,7 +12,7 @@ namespace Microsoft.EntityFrameworkCore.ChangeTracking
     ///     </para>
     /// </summary>
     /// <typeparam name="TElement"> The array element type. </typeparam>
-    public class ArrayStructuralComparer<TElement> : ValueComparer<TElement[]>
+    public class ArrayStructuralComparer<TElement> : ValueComparer<TElement[]?>
     {
         /// <summary>
         ///     Creates a comparer instance.

src/EFCore/ChangeTracking/GeometryValueComparer.cs

@@ -56,7 +56,7 @@ public GeometryValueComparer()
                 right);
         }
 
-        private static Expression<Func<TGeometry?, TGeometry?>> GetSnapshotExpression()
+        private static Expression<Func<TGeometry, TGeometry>> GetSnapshotExpression()
         {
             var instance = Expression.Parameter(typeof(TGeometry), "instance");
 
@@ -69,7 +69,7 @@ public GeometryValueComparer()
                 body = Expression.Convert(body, typeof(TGeometry));
             }
 
-            return Expression.Lambda<Func<TGeometry?, TGeometry?>>(body, instance);
+            return Expression.Lambda<Func<TGeometry, TGeometry>>(body, instance);
         }
     }
 }

src/EFCore/ChangeTracking/Internal/ValueComparerExtensions.cs

@@ -61,7 +61,7 @@ public NonNullNullableValueComparer(
                 : base(
                     (Expression<Func<T?, T?, bool>>)equalsExpression,
                     (Expression<Func<T, int>>)hashCodeExpression,
-                    (Expression<Func<T?, T?>>)snapshotExpression)
+                    (Expression<Func<T, T>>)snapshotExpression)
             {
             }
         }

src/EFCore/ChangeTracking/ValueComparer.cs

@@ -9,6 +9,7 @@
 using JetBrains.Annotations;
 using Microsoft.EntityFrameworkCore.Query;
 using Microsoft.EntityFrameworkCore.Utilities;
+using CA = System.Diagnostics.CodeAnalysis;
 
 namespace Microsoft.EntityFrameworkCore.ChangeTracking
 {
@@ -103,6 +104,7 @@ protected ValueComparer(
         /// </summary>
         /// <param name="instance"> The instance. </param>
         /// <returns> The snapshot. </returns>
+        [return: CA.NotNullIfNotNull("instance")]
         public abstract object? Snapshot([CanBeNull] object? instance);
 
         /// <summary>
@@ -238,7 +240,7 @@ public override Expression ExtractSnapshotBody(Expression expression)
             public override object? Snapshot(object? instance)
                 => instance;
 
-            public override T? Snapshot(T? instance)
+            public override T Snapshot(T instance)
                 => instance;
         }
 

src/EFCore/ChangeTracking/ValueComparer`.cs

@@ -9,6 +9,7 @@
 using System.Reflection;
 using JetBrains.Annotations;
 using Microsoft.EntityFrameworkCore.Internal;
+using CA = System.Diagnostics.CodeAnalysis;
 
 namespace Microsoft.EntityFrameworkCore.ChangeTracking
 {
@@ -31,7 +32,7 @@ public class ValueComparer<T> : ValueComparer, IEqualityComparer<T>
     {
         private Func<T?, T?, bool>? _equals;
         private Func<T, int>? _hashCode;
-        private Func<T?, T?>? _snapshot;
+        private Func<T, T>? _snapshot;
 
         /// <summary>
         ///     Creates a new <see cref="ValueComparer{T}" /> with a default comparison
@@ -80,7 +81,7 @@ public ValueComparer(
         public ValueComparer(
             [NotNull] Expression<Func<T?, T?, bool>> equalsExpression,
             [NotNull] Expression<Func<T, int>> hashCodeExpression,
-            [NotNull] Expression<Func<T?, T?>> snapshotExpression)
+            [NotNull] Expression<Func<T, T>> snapshotExpression)
             : base(equalsExpression, hashCodeExpression, snapshotExpression)
         {
         }
@@ -159,7 +160,7 @@ public ValueComparer(
         ///     Creates an expression for creating a snapshot of a value.
         /// </summary>
         /// <returns> The snapshot expression. </returns>
-        protected static Expression<Func<T?, T?>> CreateDefaultSnapshotExpression(bool favorStructuralComparisons)
+        protected static Expression<Func<T, T>> CreateDefaultSnapshotExpression(bool favorStructuralComparisons)
         {
             if (!favorStructuralComparisons
                 || !typeof(T).IsArray)
@@ -176,7 +177,7 @@ public ValueComparer(
             // var destination = new T[length];
             // Array.Copy(source, destination, length);
             // return destination;
-            return Expression.Lambda<Func<T?, T?>>(
+            return Expression.Lambda<Func<T, T>>(
                 Expression.Block(
                     new[] { lengthVariable, destinationVariable },
                     Expression.Assign(
@@ -243,20 +244,21 @@ var expression
         /// <param name="right"> The second instance. </param>
         /// <returns> <see langword="true" /> if they are equal; <see langword="false" /> otherwise. </returns>
         public override bool Equals(object? left, object? right)
-        {
-            var v1Null = left == null;
-            var v2Null = right == null;
-
-            return v1Null || v2Null ? v1Null && v2Null : Equals((T?)left, (T?)right);
-        }
+            => (left, right) switch
+            {
+                (null, null) => true,
+                (null, _) => false,
+                (_, null) => false,
+                _ => Equals((T)left, (T)right)
+            };
 
         /// <summary>
         ///     Returns the hash code for the given instance.
         /// </summary>
         /// <param name="instance"> The instance. </param>
         /// <returns> The hash code. </returns>
-        public override int GetHashCode(object? instance)
-            => instance == null ? 0 : GetHashCode((T)instance);
+        public override int GetHashCode(object instance)
+            => GetHashCode((T)instance);
 
         /// <summary>
         ///     Compares the two instances to determine if they are equal.
@@ -291,7 +293,7 @@ public virtual int GetHashCode(T instance)
         /// <param name="instance"> The instance. </param>
         /// <returns> The snapshot. </returns>
         public override object? Snapshot(object? instance)
-            => instance == null ? null : (object?)Snapshot((T?)instance);
+            => instance == null ? null : (object?)Snapshot((T)instance);
 
         /// <summary>
         ///     <para>
@@ -306,7 +308,7 @@ public virtual int GetHashCode(T instance)
         /// </summary>
         /// <param name="instance"> The instance. </param>
         /// <returns> The snapshot. </returns>
-        public virtual T? Snapshot([CanBeNull] T? instance)
+        public virtual T Snapshot([NotNull] T instance)
             => NonCapturingLazyInitializer.EnsureInitialized(
                 ref _snapshot, this, static c => c.SnapshotExpression.Compile())(instance);
 
@@ -339,7 +341,7 @@ public override Type Type
         ///         reference.
         ///     </para>
         /// </summary>
-        public new virtual Expression<Func<T?, T?>> SnapshotExpression
-            => (Expression<Func<T?, T?>>)base.SnapshotExpression;
+        public new virtual Expression<Func<T, T>> SnapshotExpression
+            => (Expression<Func<T, T>>)base.SnapshotExpression;
     }
 }