// PROTOTYPE(tuple-equality) Consider if optimizations from TrivialLiftedComparisonOperatorOptimizations can be applied
...

            // Note: left and right are either temps or `null`, so we don't have detailed information to tell us a nullable always has a value
            // PROTOTYPE(tuple-equality) We could save this information when the temps are created
            var isLeftNullable = left.Kind != BoundKind.TupleLiteral && left.Type.IsNullableType();
            if (isLeftNullable)
            {