Add another test for @_implements when calling from a generic context.

Author: rudkx

test/attr/attr_implements_fp.swift

@@ -89,6 +89,10 @@ public func compare_Comparables<T:Comparable>(_ x: T, _ y: T) -> Bool {
   return x < y
 }
 
+public func compare_FauxtingPoint<T:FauxtingPoint>(_ x: T, _ y: T) -> Bool {
+  return x < y
+}
+
 public func compare_Fauxts(_ x: Fauxt, _ y: Fauxt) -> Bool {
   return x < y
 }
@@ -104,6 +108,16 @@ public func main() {
   assert(comparedAsComparablesCount == 3)
   // CHECK: compared as Comparables
 
+  assert(compare_FauxtingPoint(Fauxt.one, Fauxt.two))
+  assert(comparedAsComparablesCount == 4)
+  // CHECK: compared as Comparables
+  assert(compare_FauxtingPoint(Fauxt.one, Fauxt.nan))
+  assert(comparedAsComparablesCount == 5)
+  // CHECK: compared as Comparables
+  assert(!compare_FauxtingPoint(Fauxt.nan, Fauxt.one))
+  assert(comparedAsComparablesCount == 6)
+  // CHECK: compared as Comparables
+
   assert(compare_Fauxts(Fauxt.one, Fauxt.two))
   assert(comparedAsFauxtsCount == 1)
   // CHECK: compared as Fauxts