averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

Sema: Add test case for https://github.com/swiftlang/swift/issues/84419

Browse Source 
This was probably fixed by https://github.com/swiftlang/swift/pull/83070.
This commit is contained in:
Slava Pestov
2025-09-22 19:23:00 -04:00
parent b250ef7be3
commit 22234ef22f
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
test/Generics/issue-84419.swift Normal file
View File

@@ -0,0 +1,7 @@
// RUN: %target-typecheck-verify-swift -swift-version 6
struct G<T: Sequence> where T == Int {
// expected-error@-1 {{no type for 'T' can satisfy both 'T == Int' and 'T : Sequence'}}
// expected-error@-2 {{same-type requirement makes generic parameter 'T' non-generic}}
let t: T
}