mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
66104395d7
Some editors use diagnostics from SourceKit to replace build issues. This causes issues if the diagnostics from SourceKit are formatted differently than the build issues. Make sure they are rendered the same way, removing most uses of `DiagnosticsEditorMode`. To do so, always emit the `add stubs for conformance` note (which previously was only emitted in editor mode) and remove all `; add <something>` suffixes from notes that state which requirements are missing. rdar://129283608
20 lines
783 B
Swift
20 lines
783 B
Swift
// RUN: %target-typecheck-verify-swift
|
|
|
|
// With a bit of effort, we could make this work -- but for now, let's just
|
|
// not crash.
|
|
|
|
protocol P {
|
|
var x: Int { get set } // expected-note {{protocol requires property 'x' with type 'Int'}}
|
|
}
|
|
|
|
struct S : P { // expected-error {{type 'S' does not conform to protocol 'P'}} expected-note {{add stubs for conformance}}
|
|
static var x = 0 // expected-note {{candidate operates on a type, not an instance as required}}
|
|
var x = S.x // expected-note {{candidate references itself}}
|
|
}
|
|
|
|
// https://github.com/apple/swift/issues/51713
|
|
// FIXME: Lousy diagnostics on this case.
|
|
protocol P1_51713: P1P2_51713 {} // expected-error {{protocol 'P1_51713' refines itself}}
|
|
protocol P2_51713: P1P2_51713 {}
|
|
typealias P1P2_51713 = P1_51713 & P2_51713
|