Sema: Better prepared overloads#84339

Merged

slavapestov merged 18 commits intoswiftlang:mainfrom

slavapestov:better-prepared-overloads

Sep 19, 2025

Commits on Sep 18, 2025

Sema: Tweak VarDecl concurrency adjustment in getTypeOfReference() to look like FuncDecl case
slavapestov
committed
Sema: Split off getTypeOfReferenceImpl() from getTypeOfReference()
slavapestov
committed
Sema: Remove replacements parameter from getMemberReferenceTypeFromOpenedType()
slavapestov
committed
Sema: Pass baseObjTy instead of baseRValueTy to adjustFunctionTypeForConcurrency()
slavapestov
committed
Sema: Remove duplicate logic for throwing accessor witness matching
slavapestov
committed
Sema: Split off getTypeOfMemberReferenceImpl() from getTypeOfMemberReference()
slavapestov
committed
Sema: Refactor getTypeOf{Member,}Reference() to take the OverloadChoice
slavapestov
committed
Sema: Don't need to return new baseObjTy from getTypeOfMemberReferenceImpl()
slavapestov
committed
Sema: Simplify getConcreteReplacementForProtocolSelfType()
slavapestov
committed
Sema: Remove replacementsPtr parameter from getTypeOfMemberReference()
slavapestov
committed
Sema: Rename getTypeOf{Member,}ReferenceImpl() to Pre() and factor out Post() versions
slavapestov
committed
Sema: Get prepared overloads working again with the Pre()/Post() split
slavapestov
committed
Sema: Replace calls to OverloadChoice constructor with two overloads of getDecl()
slavapestov
committed
Sema: Sink ModuleDecl handling back down into getTypeOfMemberReferencePre/Post()
slavapestov
committed
Sema: Clean up ConstraintSystem::resolveOverload() a bit
slavapestov
committed
Sema: Record ASTNode type changes in PreparedOverload
slavapestov
committed
Sema: Correctly thread PreparedOverloadBuilder through InferableTypeOpener
slavapestov
committed
Sema: Remove unused variable
slavapestov
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Sema: Better prepared overloads#84339

Sema: Better prepared overloads#84339
slavapestov merged 18 commits intoswiftlang:mainfrom
slavapestov:better-prepared-overloads

Commits on Sep 18, 2025

Sema: Tweak VarDecl concurrency adjustment in getTypeOfReference() to look like FuncDecl case

Sema: Split off getTypeOfReferenceImpl() from getTypeOfReference()

Sema: Remove replacements parameter from getMemberReferenceTypeFromOpenedType()

Sema: Pass baseObjTy instead of baseRValueTy to adjustFunctionTypeForConcurrency()

Sema: Remove duplicate logic for throwing accessor witness matching

Sema: Split off getTypeOfMemberReferenceImpl() from getTypeOfMemberReference()

Sema: Refactor getTypeOf{Member,}Reference() to take the OverloadChoice

Sema: Don't need to return new baseObjTy from getTypeOfMemberReferenceImpl()

Sema: Simplify getConcreteReplacementForProtocolSelfType()

Sema: Remove replacementsPtr parameter from getTypeOfMemberReference()

Sema: Rename getTypeOf{Member,}ReferenceImpl() to Pre() and factor out Post() versions

Sema: Get prepared overloads working again with the Pre()/Post() split

Sema: Replace calls to OverloadChoice constructor with two overloads of getDecl()

Sema: Sink ModuleDecl handling back down into getTypeOfMemberReferencePre/Post()

Sema: Clean up ConstraintSystem::resolveOverload() a bit

Sema: Record ASTNode type changes in PreparedOverload

Sema: Correctly thread PreparedOverloadBuilder through InferableTypeOpener

Sema: Remove unused variable