mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
28772234bc
Previously we would skip type-checking the result expression of a `return` or the initialization expression of a binding if the contextual type had an error, but that misses out on useful diagnostics and prevents code completion and cursor info from working. Change the logic such that we open ErrorTypes as holes and continue to type-check.
113 lines
3.6 KiB
Swift
113 lines
3.6 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: split-file %s %t
|
|
|
|
// RUN: %target-swift-frontend -emit-module %t/Lib.swift \
|
|
// RUN: -module-name Lib -swift-version 5 -I %t \
|
|
// RUN: -enable-library-evolution \
|
|
// RUN: -emit-module-path %t/Lib.swiftmodule \
|
|
// RUN: -emit-module-interface-path %t/Lib.swiftinterface \
|
|
// RUN: -emit-private-module-interface-path %t/Lib.private.swiftinterface
|
|
|
|
// RUN: %target-swift-frontend -typecheck -verify %t/ClientA.swift -I %t
|
|
// RUN: %target-swift-frontend -typecheck -verify %t/ClientB.swift -I %t
|
|
// RUN: %target-swift-frontend -typecheck -verify %t/ClientC.swift -I %t
|
|
|
|
// RUN: rm %t/Lib.swiftmodule
|
|
// RUN: %target-swift-frontend -typecheck -verify %t/ClientA.swift -I %t
|
|
// RUN: %target-swift-frontend -typecheck -verify %t/ClientB.swift -I %t
|
|
// RUN: %target-swift-frontend -typecheck -verify %t/ClientC.swift -I %t
|
|
|
|
// RUN: %target-swift-frontend -emit-module %t/ClientA.swift \
|
|
// RUN: -module-name ClientA -swift-version 5 -I %t \
|
|
// RUN: -enable-library-evolution \
|
|
// RUN: -emit-module-interface-path %t/ClientA.swiftinterface \
|
|
// RUN: -emit-private-module-interface-path %t/ClientA.private.swiftinterface
|
|
// RUN: %FileCheck %s --check-prefix CHECK-A < %t/ClientA.private.swiftinterface
|
|
// CHECK-A-NOT: @_spi(_) import Lib
|
|
// CHECK-A: import Lib
|
|
// CHECK-A: @_spi(_) public func useImplicit() -> Lib._Klass
|
|
|
|
// RUN: %target-swift-frontend -emit-module %t/ClientB.swift \
|
|
// RUN: -module-name ClientB -swift-version 5 -I %t \
|
|
// RUN: -enable-library-evolution \
|
|
// RUN: -emit-module-interface-path %t/ClientB.swiftinterface \
|
|
// RUN: -emit-private-module-interface-path %t/ClientB.private.swiftinterface
|
|
// RUN: %FileCheck %s --check-prefix CHECK-B < %t/ClientB.private.swiftinterface
|
|
// CHECK-B-NOT: @_spi(_) @_spi(core) import Lib
|
|
// CHECK-B-NOT: @_spi(core) @_spi(_) import Lib
|
|
// CHECK-B: @_spi(core) import Lib
|
|
// CHECK-B: @_spi(_) public func useImplicit() -> Lib._Klass
|
|
// CHECK-B: @_spi(core) public func useSPICore() -> Lib.CoreStruct
|
|
|
|
// RUN: %target-swift-frontend -emit-module %t/ClientZ.swift \
|
|
// RUN: -module-name ClientZ -swift-version 5 -I %t \
|
|
// RUN: -enable-library-evolution \
|
|
// RUN: -emit-module-interface-path %t/ClientZ.swiftinterface \
|
|
// RUN: -emit-private-module-interface-path %t/ClientZ.private.swiftinterface
|
|
// RUN: %FileCheck %s --check-prefix CHECK-Z < %t/ClientZ.private.swiftinterface
|
|
// CHECK-Z: @_spi(_) import Lib
|
|
// CHECK-Z: @_spi(_) public func useImplicit() -> Lib._Klass
|
|
|
|
|
|
//--- Lib.swift
|
|
|
|
@_spi(core)
|
|
public struct CoreStruct {
|
|
public init() {}
|
|
}
|
|
|
|
@_spi(_)
|
|
public class _Klass {
|
|
public init() {}
|
|
}
|
|
|
|
public protocol APIProtocol {
|
|
}
|
|
|
|
|
|
//--- ClientA.swift
|
|
|
|
import Lib
|
|
|
|
@_spi(_)
|
|
public func useImplicit() -> _Klass { return _Klass() }
|
|
|
|
public func useMain() -> APIProtocol? { return nil }
|
|
|
|
|
|
//--- ClientB.swift
|
|
|
|
@_spi(core) import Lib
|
|
|
|
@_spi(_)
|
|
public func useImplicit() -> _Klass { return _Klass() }
|
|
|
|
@_spi(core)
|
|
public func useSPICore() -> CoreStruct { return CoreStruct() }
|
|
|
|
public func useMain() -> APIProtocol? { return nil }
|
|
|
|
|
|
//--- ClientC.swift
|
|
|
|
import Lib
|
|
|
|
public func useImplicit() -> _Klass { return _Klass() } // expected-error{{cannot use class '_Klass' here; it is an SPI imported from 'Lib'}}
|
|
|
|
@_spi(core)
|
|
public func useSPICore() -> CoreStruct { return CoreStruct() }
|
|
// expected-error@-1 {{cannot find type 'CoreStruct' in scope}}
|
|
// expected-error@-2 {{cannot find 'CoreStruct' in scope}}
|
|
|
|
public func useMain() -> APIProtocol? { return nil }
|
|
|
|
|
|
//--- ClientZ.swift
|
|
|
|
@_spi(_) import Lib
|
|
|
|
@_spi(_)
|
|
public func useImplicit() -> _Klass { return _Klass() }
|
|
|
|
public func useMain() -> APIProtocol? { return nil }
|