mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
678b99f347
Where before we would diagnose something like "catch MyType {" with two errors (one of
which complaining about a ~= the user didn't write) and two notes, we now produce:
error: 'is' keyword required to pattern match against type name
with a fixit hint to insert the 'is'.
Swift SVN r28761
96 lines
3.6 KiB
Swift
96 lines
3.6 KiB
Swift
// RUN: %target-parse-verify-swift
|
|
|
|
enum MSV : ErrorType {
|
|
case Foo, Bar, Baz
|
|
case CarriesInt(Int)
|
|
|
|
var domain: String { return "" }
|
|
var code: Int { return 0 }
|
|
}
|
|
|
|
func opaque_error() -> ErrorType { return MSV.Foo }
|
|
|
|
func one() {
|
|
do {
|
|
true ? () : throw opaque_error() // expected-error {{expected expression after '? ... :' in ternary expression}}
|
|
} catch _ {
|
|
}
|
|
|
|
do {
|
|
|
|
} catch { // expected-warning {{'catch' block is unreachable because no errors are thrown in 'do' block}}
|
|
let error2 = error
|
|
}
|
|
|
|
do {
|
|
} catch where true { // expected-warning {{'catch' block is unreachable because no errors are thrown in 'do' block}}
|
|
let error2 = error
|
|
} catch {
|
|
}
|
|
|
|
// <rdar://problem/20985280> QoI: improve diagnostic on improper pattern match on type
|
|
do {
|
|
throw opaque_error()
|
|
} catch MSV { // expected-error {{'is' keyword required to pattern match against type name}} {{11-11=is }}
|
|
} catch {
|
|
|
|
}
|
|
}
|
|
|
|
func takesAutoclosure(@autoclosure fn : () -> Int) {}
|
|
func takesThrowingAutoclosure(@autoclosure fn : () throws -> Int) {}
|
|
|
|
func genError() throws -> Int { throw MSV.Foo }
|
|
func genNoError() -> Int { return 0 }
|
|
|
|
func testAutoclosures() throws {
|
|
takesAutoclosure(genError()) // expected-error {{call can throw, but it is not marked with 'try' and it is executed in a non-throwing autoclosure}}
|
|
takesAutoclosure(genNoError())
|
|
|
|
try takesAutoclosure(genError()) // expected-error {{call can throw, but it is executed in a non-throwing autoclosure}}
|
|
try takesAutoclosure(genNoError()) // expected-warning {{no calls to throwing functions occur within 'try' expression}}
|
|
|
|
takesAutoclosure(try genError()) // expected-error {{call can throw, but it is executed in a non-throwing autoclosure}}
|
|
takesAutoclosure(try genNoError()) // expected-warning {{no calls to throwing functions occur within 'try' expression}}
|
|
|
|
takesThrowingAutoclosure(try genError())
|
|
takesThrowingAutoclosure(try genNoError()) // expected-warning {{no calls to throwing functions occur within 'try' expression}}
|
|
|
|
try takesThrowingAutoclosure(genError())
|
|
try takesThrowingAutoclosure(genNoError()) // expected-warning {{no calls to throwing functions occur within 'try' expression}}
|
|
|
|
takesThrowingAutoclosure(genError()) // expected-error {{call can throw but is not marked with 'try'}}
|
|
takesThrowingAutoclosure(genNoError())
|
|
}
|
|
|
|
struct IllegalContext {
|
|
var x: Int = genError() // expected-error {{call can throw, but errors cannot be thrown out of a property initializer}}
|
|
|
|
func foo(x: Int = genError()) {} // expected-error {{call can throw, but errors cannot be thrown out of a default argument}}
|
|
|
|
func catcher() throws {
|
|
do {
|
|
try genError()
|
|
} catch MSV.CarriesInt(genError()) { // expected-error {{call can throw, but errors cannot be thrown out of a catch pattern}}
|
|
} catch MSV.CarriesInt(let i) where i == genError() { // expected-error {{call can throw, but errors cannot be thrown out of a catch guard expression}}
|
|
}
|
|
}
|
|
}
|
|
|
|
func illformed() throws {
|
|
do {
|
|
try genError()
|
|
|
|
// TODO: this recovery is terrible
|
|
} catch MSV.CarriesInt(let i) where i == genError()) { // expected-error {{call can throw, but errors cannot be thrown out of a catch guard expression}} expected-error {{expected '{'}} expected-error {{braced block of statements is an unused closure}} expected-error {{type of expression is ambiguous without more context}}
|
|
}
|
|
}
|
|
|
|
func postThrows() -> Int throws { // expected-error{{'throws' may only occur before '->'}}{{19-19=throws }}{{25-32=}}
|
|
return 5
|
|
}
|
|
|
|
func postRethrows(f: () throws -> Int) -> Int rethrows { // expected-error{{'rethrows' may only occur before '->'}}{{40-40=rethrows }}{{46-55=}}
|
|
return try f()
|
|
}
|