mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
40449a6987
Specifically: 1. Fix the error message so that when we say you can't have a deinit that a deinit can be on a noncopyable type along side a class or an actor. 2. Even though we already error on @objc enums and say they cannot be noncopyable, we did not emit an error on the deinit saying that @objc enums cannot have a deinit. I put in a nice to have error just to make it even clearer. rdar://105855978 rdar://106566054
22 lines
978 B
Swift
22 lines
978 B
Swift
// RUN: %empty-directory(%t)
|
|
|
|
// Serialize and deserialize a deinit with SourceFile context to make sure we
|
|
// don't crash
|
|
// RUN: %target-swift-frontend -verify -module-name errors -emit-module -o %t/errors.swiftmodule -experimental-allow-module-with-compiler-errors %s
|
|
// RUN: %target-swift-ide-test -print-module -module-to-print=errors -source-filename=x -I %t -allow-compiler-errors
|
|
|
|
// Also check it wasn't serialized
|
|
// RUN: llvm-bcanalyzer -dump %t/errors.swiftmodule | %FileCheck %s
|
|
// CHECK-NOT: DESTRUCTOR_DECL
|
|
|
|
struct Foo {}
|
|
|
|
@discardableResult // expected-error{{'@discardableResult' attribute cannot be applied to this declaration}}
|
|
deinit {} // expected-error{{deinitializers may only be declared within a class, actor, or noncopyable type}}
|
|
|
|
func foo() -> Foo { return Foo() }
|
|
|
|
// Make sure @discardableResult isn't added to `foo`, which could be possible
|
|
// if the deinit is partially serialized
|
|
foo() // expected-warning{{result of call to 'foo()' is unused}}
|