Merge pull request #21568 from dan-zheng/derive-math-protocols

[API] Derive conformances for `AdditiveArithmetic` and `VectorNumeric`.

Author: rxwei

include/swift/AST/DiagnosticsSema.def

@@ -2417,6 +2417,10 @@ ERROR(parameterized_no_parameters_struct,none,
 ERROR(parameterized_invalid_parameters_struct,none,
       "cannot automatically synthesize %0 because 'Parameters' struct is "
       "invalid", (Type))
+ERROR(broken_additive_arithmetic_requirement,none,
+      "AdditiveArithmetic protocol is broken: unexpected requirement", ())
+ERROR(broken_vector_numeric_requirement,none,
+      "VectorNumeric protocol is broken: unexpected requirement", ())
 
 NOTE(codable_extraneous_codingkey_case_here,none,
      "CodingKey case %0 does not match any stored properties", (Identifier))

include/swift/AST/KnownIdentifiers.def

@@ -117,18 +117,23 @@ IDENTIFIER_WITH_NAME(value_, "_value")
 IDENTIFIER(with)
 
 // SWIFT_ENABLE_TENSORFLOW
+IDENTIFIER(TensorFlow)
+// KeyPathIterable
 IDENTIFIER(AllKeyPaths)
 IDENTIFIER(allKeyPaths)
 IDENTIFIER(recursivelyAllKeyPaths)
 IDENTIFIER(allWritableKeyPaths)
 IDENTIFIER(recursivelyAllWritableKeyPaths)
+// AdditiveArithmetic, VectorNumeric
+IDENTIFIER(zero)
+IDENTIFIER(Scalar)
+// ParameterGroup, Parameterized
 IDENTIFIER(allParameters)
 IDENTIFIER(Parameter)
 IDENTIFIER(Parameters)
-IDENTIFIER(TensorFlow)
+// Differentiable
 IDENTIFIER(CotangentVector)
 IDENTIFIER(TangentVector)
-IDENTIFIER(zero)
 
 // Kinds of layout constraints
 IDENTIFIER_WITH_NAME(UnknownLayout, "_UnknownLayout")

lib/Sema/CMakeLists.txt

@@ -27,9 +27,11 @@ add_swift_host_library(swiftSema STATIC
   DerivedConformanceEquatableHashable.cpp
   DerivedConformanceError.cpp
   # SWIFT_ENABLE_TENSORFLOW
+  DerivedConformanceAdditiveArithmeticVectorNumeric.cpp
   DerivedConformanceKeyPathIterable.cpp
   DerivedConformanceParameterGroup.cpp
   DerivedConformanceParameterized.cpp
+  # SWIFT_ENABLE_TENSORFLOW END
   DerivedConformanceRawRepresentable.cpp
   DerivedConformances.cpp
   InstrumenterSupport.cpp