Also update attr_implements_serial.swift.

This also builds `attr_implements_fp.swift`, and then uses it, so it
also needed updating.

Author: rudkx

test/attr/attr_implements_serial.swift

@@ -1,6 +1,6 @@
 // RUN: %empty-directory(%t)
 // RUN: echo 'client()' >%t/main.swift
-// RUN: %target-build-swift-dylib(%t/libAttrImplFP.%target-dylib-extension) -module-name AttrImplFP -emit-module -emit-module-path %t/AttrImplFP.swiftmodule %S/attr_implements_fp.swift
+// RUN: %target-build-swift-dylib(%t/libAttrImplFP.%target-dylib-extension) -module-name AttrImplFP -emit-module -emit-module-path %t/AttrImplFP.swiftmodule %S/attr_implements_fp.swift -Xfrontend -enable-operator-designated-types -Xfrontend -solver-enable-operator-designated-types
 // RUN: %target-build-swift -I %t -o %t/a.out %s %t/main.swift -L %t -Xlinker -rpath -Xlinker %t -lAttrImplFP
 // RUN: %target-codesign %t/a.out
 // RUN: %target-codesign %t/libAttrImplFP.%target-dylib-extension
@@ -13,15 +13,15 @@
 import AttrImplFP
 
 public func client() {
-  precondition(compare_Comparables(Fauxt.one, Fauxt.two))
-  precondition(comparedAsComparablesCount == 1)
-  // CHECK: compared as Comparables
-  precondition(compare_Comparables(Fauxt.one, Fauxt.nan))
-  precondition(comparedAsComparablesCount == 2)
-  // CHECK: compared as Comparables
-  precondition(!compare_Comparables(Fauxt.nan, Fauxt.one))
-  precondition(comparedAsComparablesCount == 3)
-  // CHECK: compared as Comparables
+  precondition(compare_Cauxmparables(Fauxt.one, Fauxt.two))
+  precondition(comparedAsCauxmparablesCount == 1)
+  // CHECK: compared as Cauxmparables
+  precondition(compare_Cauxmparables(Fauxt.one, Fauxt.nan))
+  precondition(comparedAsCauxmparablesCount == 2)
+  // CHECK: compared as Cauxmparables
+  precondition(!compare_Cauxmparables(Fauxt.nan, Fauxt.one))
+  precondition(comparedAsCauxmparablesCount == 3)
+  // CHECK: compared as Cauxmparables
 
   precondition(compare_Fauxts(Fauxt.one, Fauxt.two))
   precondition(comparedAsFauxtsCount == 1)