mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
e88f8995e1
We've been converging the implementations of educational notes and diagnostic groups, where both provide category information in diagnostics (e.g., `[#StrictMemorySafety]`) and corresponding short-form documentation files. The diagnostic group model is more useful in a few ways: * It provides warnings-as-errors control for warnings in the group * It is easier to associate a diagnostic with a group with GROUPED_ERROR/GROUPED_WARNING than it is to have a separate diagnostic ID -> mapping. * It is easier to see our progress on diagnostic-group coverage * It provides an easy name to use for diagnostic purposes. Collapse the educational-notes infrastructure into diagnostic groups, migrating all of the existing educational notes into new groups. Simplify the code paths that dealt with multiple educational notes to have a single, possibly-missing "category documentation URL", which is how we're treating this.
55 lines
2.7 KiB
Swift
55 lines
2.7 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: not %target-swift-frontend -typecheck -verify -serialize-diagnostics-path %t/serialized.dia -emit-fixits-path %t/fixits %s 2>&1 | %FileCheck %s
|
|
// RUN: not %target-swift-frontend -typecheck -verify -warnings-as-errors %s 2>&1 | %FileCheck %s -check-prefix CHECK-WARNINGS-AS-ERRORS
|
|
// RUN: %FileCheck %s -check-prefix CHECK-SERIALIZED <%t/serialized.dia
|
|
// RUN: %FileCheck %s -check-prefix CHECK-FIXITS <%t/fixits
|
|
|
|
// Wrong message
|
|
let x: Int = "hello, world!" // expected-error {{foo bar baz}}
|
|
// CHECK-NOT: error: cannot convert value of type 'String' to specified type 'Int'
|
|
// CHECK: error: incorrect message found
|
|
|
|
// Wrong column
|
|
let y: Int = "hello, world!" // expected-error@:49 {{cannot convert value of type}}
|
|
// CHECK: message found at column 14 but was expected to appear at column 49
|
|
|
|
// Wrong fix-it
|
|
let z: Int = "hello, world!" as Any
|
|
// expected-error@-1 {{cannot convert value of type}} {{3-3=foobarbaz}}
|
|
// CHECK: expected fix-it not seen; actual fix-it seen: {{[{][{]}}36-36= as! Int{{[}][}]}}
|
|
|
|
// Expected no fix-it
|
|
let a: Bool = "hello, world!" as Any
|
|
// expected-error@-1 {{cannot convert value of type}} {{none}}
|
|
// CHECK: expected no fix-its; actual fix-it seen: {{[{][{]}}37-37= as! Bool{{[}][}]}}
|
|
|
|
// Unexpected error
|
|
_ = foo()
|
|
// CHECK: unexpected error produced: cannot find 'foo' in scope
|
|
|
|
func b() {
|
|
let c = 2
|
|
}
|
|
// CHECK: unexpected warning produced: initialization of immutable value 'c' was never used
|
|
// CHECK-WARNINGS-AS-ERRORS: unexpected error produced: initialization of immutable value 'c' was never used
|
|
|
|
typealias Crap = () -> ()
|
|
extension Crap {} // expected-error {{non-nominal type 'Crap' (aka '() -> ()') cannot be extended}} {{documentation-file=foo-bar-baz}}
|
|
// CHECK: error: expected documentation file not seen; actual documentation file: {{[{][{]}}documentation-file=nominal-types{{[}][}]}}
|
|
|
|
extension Crap {} // expected-error {{non-nominal type 'Crap' (aka '() -> ()') cannot be extended}} {{documentation-file=nominal-types}} {{documentation-file=nominal-types}}
|
|
// CHECK: error: each verified diagnostic may only have one {{[{][{]}}documentation-file=<#notes#>{{[}][}]}} declaration
|
|
|
|
extension Crap {} // expected-error {{non-nominal type 'Crap' (aka '() -> ()') cannot be extended}} {{documentation-file=nominal-types,foo-bar-baz}}
|
|
// CHECK: error: expected documentation file not seen; actual documentation file: {{[{][{]}}documentation-file=nominal-types{{[}][}]}}
|
|
|
|
// Verify the serialized diags have the right magic at the top.
|
|
// CHECK-SERIALIZED: DIA
|
|
|
|
// Ensure the verifier doesn't interfere with -emit-fixits-path.
|
|
// CHECK-FIXITS: {
|
|
// CHECK-FIXITS: "file":
|
|
// CHECK-FIXITS: "offset":
|
|
// CHECK-FIXITS: "text": " as! Int"
|
|
// CHECK-FIXITS: }
|