averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

AST: Trigger IsDynamicRequest when retrieving semantic attributes.

Browse Source
This commit is contained in:
Allan Shortlidge
2023-11-02 21:55:44 -07:00
parent 7a61cdfcb0
commit c6e966157a
4 changed files with 33 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
lib/AST/TypeCheckRequests.cpp
View File

@@ -2076,6 +2076,7 @@ DeclAttributes SemanticDeclAttrsRequest::evaluate(Evaluator &evaluator,
// Trigger requests that cause additional semantic attributes to be added.
if (auto vd = dyn_cast<ValueDecl>(decl)) {
(void)vd->isDynamic();
(void)vd->isFinal();
}
if (auto afd = dyn_cast<AbstractFunctionDecl>(decl)) {

1
test/Inputs/lazy_typecheck.swift
View File

@@ -131,6 +131,7 @@ public struct PublicStruct {
@_transparent public var publicTransparentProperty: Int {
get { return 1 }
}
public dynamic var publicDynamicProperty: Int = 5
public init(x: Int) {
self.publicProperty = 1

6
test/Inputs/lazy_typecheck_client.swift
View File

@@ -40,12 +40,18 @@ func testPublicStructs() {
let _: Double = s.publicWrappedProperty
let _: Double = s.$publicWrappedProperty.wrappedValue
let _: Int = s.publicTransparentProperty
let _: Int = s.publicDynamicProperty
PublicStruct.publicStaticMethod()
PublicStruct.activeMethod()
let _ = FrozenPublicStruct(1)
}
extension PublicStruct {
@_dynamicReplacement(for: publicDynamicProperty)
var replacementVar: Int
}
func testPublicClasses() {
let c = PublicClass(x: 2)
let _: Int = c.publicMethod()

25
test/ModuleInterface/lazy-typecheck-objc.swift Normal file
View File

@@ -0,0 +1,25 @@
// RUN: %empty-directory(%t)
// RUN: %empty-directory(%t/baseline)
// RUN: %empty-directory(%t/lazy)
// RUN: %target-swift-emit-module-interface(%t/baseline/Test.swiftinterface) -module-name Test %s -disable-objc-attr-requires-foundation-module
// RUN: %target-swift-typecheck-module-from-interface(%t/baseline/Test.swiftinterface) -module-name Test
// RUN: %target-swift-emit-module-interface(%t/lazy/Test.swiftinterface) -module-name Test %s -disable-objc-attr-requires-foundation-module -experimental-lazy-typecheck
// RUN: %target-swift-typecheck-module-from-interface(%t/lazy/Test.swiftinterface) -module-name Test
// RUN: diff -u %t/baseline/Test.swiftinterface %t/lazy/Test.swiftinterface
// REQUIRES: objc_interop
@objc open class ObjCClass {
public var publicVar: Int = 0
@NSManaged public var managedVar: Int
open func method() {}
}
public final class FinalClass {
@objc public dynamic var publicDynamicVar: Int {
get { return 0 }
set {}
}
}