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