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
Files
constraintResolutionFix
swift-mirror/lib/Sema
History
Kathy Gray ce9368c39c Diagnostics change for ambiguous overloads previously specifying 'this' 
Updates the message to use the type or ValueDecl instead of saying 'this' on 'Found this candidate' messages to provide more information where possible in selecting overloads

Per comment during draft iteration uses getInterfaceType and adds removeSelfParam to ValueDecl.t

Migrate to calling interfaceType and remove SelfParam

Update tests to reflect type information in ambiguity resolution

All but 5 tests now passing. Those 5 either do not refer to overloading errors or do pass even when modified to accept type specification

Move implementation to ValueDecl now that tests largely pass
2025-10-10 17:46:22 +01:00
..
DerivedConformance
[AST] Introduce CaseStmt::createImplicit
2025-09-09 13:48:40 +01:00
AssociatedTypeInference.cpp
Diagnostics change for ambiguous overloads previously specifying 'this'
2025-10-10 17:46:22 +01:00
BuilderTransform.cpp
[AST] Make case body variables for CaseStmt non-optional
2025-09-09 13:48:40 +01:00
CMakeLists.txt
…
CodeSynthesis.cpp
…
CodeSynthesis.h
…
CodeSynthesisDistributedActor.cpp
[Concurrency/Distributed] ensure distributed thunks are @concurrent
2025-09-03 18:54:09 +09:00
Comment.cpp
…
CompletionContextFinder.cpp
[IDE] Remove fallback type-checking logic
2025-08-30 14:08:42 +01:00
ConstantnessSemaDiagnostics.cpp
…
Constraint.cpp
[CS] Fix an overly strict assert
2025-08-29 00:17:14 +01:00
ConstraintGraph.cpp
Address llvm::PointerUnion::{is,get} deprecations
2025-07-29 18:37:48 +01:00
ConstraintLocator.cpp
[CS] Use apply component locator for verifyThatArgumentIsHashable
2025-08-15 21:30:22 +01:00
ConstraintSystem.cpp
Diagnostics change for ambiguous overloads previously specifying 'this'
2025-10-10 17:46:22 +01:00
CSApply.cpp
Sema: Clean up buildOtherConstructorRef()
2025-09-09 18:58:09 -04:00
CSBindings.cpp
[CS] Avoid introducing Void closure result binding for hole
2025-08-29 15:04:20 +01:00
CSDiagnostics.cpp
Diagnostics change for ambiguous overloads previously specifying 'this'
2025-10-10 17:46:22 +01:00
CSDiagnostics.h
Merge pull request #83776 from hamishknight/the-diags-never-stop-no
2025-09-03 19:59:44 +01:00
CSFix.cpp
Sema: Fix crash in IgnoreAssignmentDestinationType::diagnoseForAmbiguity()
2025-09-09 18:58:10 -04:00
CSGen.cpp
[CS] Avoid unnecessary type variables when opening ErrorTypes
2025-08-30 16:05:01 +01:00
CSOptimizer.cpp
[CSOptimizer] Don't match nil to _OptionalNilComparisonType
2025-09-01 20:47:56 -07:00
CSRanking.cpp
[CSRanking] Pass down a flag to enable debug output in CompareDeclSpecializationRequest
2025-07-30 13:32:21 -07:00
CSSimplify.cpp
[CS] NFC: Remove CTP_ForEachStmt
2025-09-05 22:20:28 +01:00
CSSolver.cpp
[CS] Remove AllowUnresolvedTypeVariables
2025-09-07 12:17:18 +01:00
CSStep.cpp
[CS] Avoid increasing score for unbound outer type vars for completion
2025-09-01 10:56:45 +01:00
CSStep.h
…
CSSyntacticElement.cpp
[Sema] Rename bindSwitchCasePatternVars -> diagnoseCaseVarMutabilityMismatch
2025-09-09 13:48:40 +01:00
CSTrail.cpp
Address llvm::PointerUnion::{is,get} deprecations
2025-07-29 18:37:48 +01:00
DebuggerTestingTransform.cpp
…
IDETypeCheckingRequests.cpp
…
ImportResolution.cpp
Diagnostics change for ambiguous overloads previously specifying 'this'
2025-10-10 17:46:22 +01:00
InstrumenterSupport.cpp
…
InstrumenterSupport.h
…
LegalConstExprVerifier.cpp
…
LookupVisibleDecls.cpp
Address llvm::PointerUnion::{is,get} deprecations
2025-07-29 18:37:48 +01:00
MiscDiagnostics.cpp
[Sema] Relax a check in VarDeclUsageChecker
2025-09-09 13:48:40 +01:00
MiscDiagnostics.h
Sema: Don't apply access level fix-it to @dynamicMemberLookup subscript.
2025-08-13 23:13:07 -07:00
NonisolatedNonsendingByDefaultMigration.cpp
Address llvm::PointerUnion::{is,get} deprecations
2025-07-29 18:37:48 +01:00
NonisolatedNonsendingByDefaultMigration.h
…
OpenedExistentials.cpp
[Typechecker/OpenedExistentials] NFC: Extract some checks from canOpenExistentialCallArgument into a separate function
2025-08-14 13:58:01 -07:00
OpenedExistentials.h
[Typechecker/OpenedExistentials] NFC: Extract some checks from canOpenExistentialCallArgument into a separate function
2025-08-14 13:58:01 -07:00
PCMacro.cpp
…
PlaygroundTransform.cpp
nfc: !isNoncopyable() -> isCopyable()
2025-08-28 12:13:21 -07:00
PreCheckTarget.cpp
[AST] Walk ErrorExpr's original expr in ASTWalker
2025-08-27 15:27:06 +01:00
ResilienceDiagnostics.cpp
AST: Use availability to control decl visibility in public swiftinterfaces.
2025-09-04 12:32:19 -07:00
SourceLoader.cpp
[Sema] Make extension binding lazy for SourceLoader
2025-09-09 23:18:52 +01:00
SyntacticElementTarget.cpp
[CS] Set the naming pattern in markInvalid
2025-09-09 13:48:40 +01:00
TypeAccessScopeChecker.h
…
TypeCheckAccess.cpp
Merge pull request #83776 from hamishknight/the-diags-never-stop-no
2025-09-03 19:59:44 +01:00
TypeCheckAccess.h
…
TypeCheckAttr.cpp
[cxx-interop] Add attribute to hide Swift declarations from interop
2025-09-01 12:29:34 +01:00
TypeCheckAttrABI.cpp
…
TypeCheckAvailability.cpp
[TypeChecker] Avoid checking lazy property accessors if they haven't been synthesized yet
2025-09-02 17:12:28 -07:00
TypeCheckAvailability.h
Sema: Introduce an ExportabilityReason for availability attributes.
2025-09-02 23:13:08 -07:00
TypeCheckBitwise.cpp
…
TypeCheckBitwise.h
…
TypeCheckCaptures.cpp
Don't force a capture of an isolated parameter in defer bodies.
2025-07-07 23:29:04 -04:00
TypeCheckCircularity.cpp
…
TypeCheckCodeCompletion.cpp
[IDE] Remove fallback type-checking logic
2025-08-30 14:08:42 +01:00
TypeCheckConcurrency.cpp
[Concurrency] Fix @Sendable closures not inferring nonisolated(nonsending)
2025-10-10 17:46:22 +01:00
TypeCheckConcurrency.h
[Concurrency] Downgrade errors when isolated member is referenced from a preconcurrency context
2025-07-30 11:02:40 -07:00
TypeCheckConstraints.cpp
[IDE] Remove fallback type-checking logic
2025-08-30 14:08:42 +01:00
TypeCheckDecl.cpp
[AST] Eagerly wire up VarDecl parents when creating CaseStmt
2025-09-09 13:48:40 +01:00
TypeCheckDecl.h
…
TypeCheckDeclObjC.cpp
AST: Remove most usages of AbstractFunctionDecl::hasDynamicSelfResult()
2025-08-27 15:34:26 -04:00
TypeCheckDeclOverride.cpp
Add @_neverEmitIntoClient to prohibit SIL serialization for a function
2025-08-17 23:21:57 -07:00
TypeCheckDeclPrimary.cpp
[Sema] Clean up extension binding a little
2025-09-09 23:18:52 +01:00
TypeCheckDistributed.cpp
Sema: Simplify recording required import access levels.
2025-08-21 18:24:30 -07:00
TypeCheckDistributed.h
…
TypeCheckEffects.cpp
[TypeCheckEffects] AbstractFunction: Parameter types should be mapped into context
2025-08-12 17:29:07 -07:00
TypeCheckEffects.h
…
TypeChecker.cpp
Migrate to calling interfaceType and remove SelfParam
2025-10-10 17:46:22 +01:00
TypeChecker.h
Migrate to calling interfaceType and remove SelfParam
2025-10-10 17:46:22 +01:00
TypeCheckExpr.cpp
Address llvm::PointerUnion::{is,get} deprecations
2025-07-29 18:37:48 +01:00
TypeCheckExprObjC.cpp
…
TypeCheckGeneric.cpp
Sema: New opaque return type circularity check that doesn't trigger lazy type checking of bodies
2025-08-14 17:01:47 -04:00
TypeCheckInvertible.cpp
nfc: !isNoncopyable() -> isCopyable()
2025-08-28 12:13:21 -07:00
TypeCheckInvertible.h
…
TypeCheckMacros.cpp
Address llvm::PointerUnion::{is,get} deprecations
2025-07-29 18:37:48 +01:00
TypeCheckMacros.h
…
TypeCheckNameLookup.cpp
Sema: Downgrade missing import diagnostics for key paths.
2025-09-08 16:15:49 -07:00
TypeCheckObjC.h
Address llvm::PointerUnion::{is,get} deprecations
2025-07-29 18:37:48 +01:00
TypeCheckPattern.cpp
[Diags] Remove some now unnecessary calls to flush
2025-08-17 11:48:21 +01:00
TypeCheckPropertyWrapper.cpp
…
TypeCheckProtocol.cpp
Merge pull request #83776 from hamishknight/the-diags-never-stop-no
2025-09-03 19:59:44 +01:00
TypeCheckProtocol.h
Sema: Check custom domain availability during conformance checking.
2025-07-25 21:30:53 -07:00
TypeCheckRegex.cpp
…
TypeCheckRequestFunctions.cpp
Address llvm::PointerUnion::{is,get} deprecations
2025-07-29 18:37:48 +01:00
TypeCheckStmt.cpp
[Sema] Rename bindSwitchCasePatternVars -> diagnoseCaseVarMutabilityMismatch
2025-09-09 13:48:40 +01:00
TypeCheckStorage.cpp
[Sema] Avoid crashing in IsAccessorTransparentRequest for implicit setter
2025-08-28 12:56:06 +01:00
TypeCheckSwitchStmt.cpp
Address llvm::(Mutable)ArrayRef ctor deprecations
2025-07-21 12:36:53 +01:00
TypeCheckType.cpp
Diagnostics change for ambiguous overloads previously specifying 'this'
2025-10-10 17:46:22 +01:00
TypeCheckType.h
[CS] Open generic requirements for types with unbound + placeholder types
2025-08-26 12:16:54 +01:00
TypeCheckUnsafe.cpp
[StrictMemorySafety] Check the safety of return types of calls
2025-08-05 12:16:44 +01:00
TypeCheckUnsafe.h
…
TypeOfReference.cpp
Sema: Further split up getTypeOfMemberTypeReference()
2025-09-09 18:58:10 -04:00
TypoCorrection.h
…