mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
86e5ed18a0
The GSB will try to form and note invalid constraints, but there are a few paths that aren't prepared for error types to pop up. Add a defensive check to formProtocolRelativeType to make sure we don't wind up force-casting an error type. Fixes rdar://56116278
4 lines
72 B
Swift
4 lines
72 B
Swift
// RUN: not %target-typecheck-verify-swift
|
|
|
|
protocol P where A : Int {}
|