mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
6 lines
336 B
Swift
6 lines
336 B
Swift
// {"kind":"typecheck","signature":"checkRequirementsImpl(llvm::ArrayRef<swift::Requirement>, bool)","signatureAssert":"Assertion failed: (!firstType->hasTypeVariable()), function checkRequirementsImpl"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
struct a<b: ~Copyable
|
|
extension a: Copyable where b: Copyable
|
|
let c (a -> d
|