mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
09087ccce8
Passing in the declared interface type to checkConformance() here masked a silent failure where if the type declaration was generic and the conformance conditional, the conditional requirement check would fail. As a result, we did not diagnose the absence of @retroactive, nor the unnecessary presence of it. Since we only care about the existence of some conformance, we can use lookupConformance() instead.
6 lines
363 B
Swift
6 lines
363 B
Swift
// RUN: %target-typecheck-verify-swift
|
|
extension SIMD2: @retroactive AdditiveArithmetic where Scalar: FloatingPoint { }
|
|
extension SIMD3: @retroactive AdditiveArithmetic where Scalar: FloatingPoint { }
|
|
extension SIMD4: @retroactive AdditiveArithmetic where Scalar: FloatingPoint { }
|
|
extension SIMD8: @retroactive AdditiveArithmetic where Scalar: FloatingPoint { }
|