averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2026-06-20 15:42:51 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
xcode-27-update
swift-mirror/lib/Sema
T
History
Hamish Knight 2aa884122d Merge pull request #89845 from hamishknight/fix-opaque 
[Sema] Allow member on opaque parameter type
2026-06-12 00:44:19 +01:00
..
DerivedConformance
[experimental] Infrastructure for derived conformances via macros (#89419)
2026-06-08 14:23:58 +01:00
AssociatedTypeInference.cpp
Merge pull request #88826 from Jiaxu-Li/fix-protocol-decl-macro-witnesses
2026-05-22 12:23:08 -07:00
BindingProducer.cpp
[ConstraintSystem] Make defaulting a generic parameter more impactful in some situations
2026-06-01 11:28:20 -07:00
BuilderTransform.cpp
…
CMakeLists.txt
[sema] Basic recognition of the FullyInhabited protocols
2026-04-19 21:59:38 -07:00
CodeSynthesis.cpp
Sema: Fix type parameter/archetype mixup in createImplicitConstructor()
2026-05-18 10:33:57 -04:00
CodeSynthesis.h
…
CodeSynthesisDistributedActor.cpp
[experimental] Infrastructure for derived conformances via macros (#89419)
2026-06-08 14:23:58 +01:00
Comment.cpp
…
CompletionContextFinder.cpp
…
ConstantnessSemaDiagnostics.cpp
…
Constraint.cpp
Sema: Clean up duplicated implementation of OverloadChoice::dump()
2026-03-10 14:47:31 -04:00
ConstraintGraph.cpp
…
ConstraintLocator.cpp
…
ConstraintSystem.cpp
[CS] Remove shouldHaveDirectCalleeOverload
2026-05-21 12:28:22 +01:00
CSApply.cpp
CSApply: Honor a pattern binding's explicit type annotation in its interface.
2026-06-04 10:50:07 -07:00
CSBindings.cpp
Merge pull request #88875 from slavapestov/fix-rdar152143989
2026-05-08 15:37:53 -04:00
CSDiagnostics.cpp
[cxx-interop] Fix-it for using nil instead of std::nullopt
2026-06-09 18:22:43 +01:00
CSDiagnostics.h
[cxx-interop] Fix-it for using nil instead of std::nullopt
2026-06-09 18:22:43 +01:00
CSDisjunction.cpp
[ConstraintSystem] Propagate a hole from function value to arguments/result
2026-06-01 11:28:20 -07:00
CSFix.cpp
Diagnose static key path members on protocol metatypes
2026-06-01 13:12:14 -07:00
CSGen.cpp
[CSSimplify] Don't transfer typed throws onto the closure
2026-03-24 09:27:55 -07:00
CSOptimizer.cpp
[CSOptimizer] Don't favor candidates with unavailable conformances
2026-04-30 22:23:13 -07:00
CSRanking.cpp
[CSRanking] Don't treat functions that are generic only over typed throws as generic
2026-03-31 15:14:09 -07:00
CSSimplify.cpp
[CSSimplify] NFC: Clarify why recordTypeVariablesAsHoles isn't used to propagate holes to arguments/result
2026-06-01 16:25:31 -07:00
CSSolver.cpp
Sema: pre-reserve DenseMap capacity in ConstraintSystem::finalize (#88857)
2026-05-06 15:57:04 -07:00
CSStep.cpp
Sema: Skip selectDisjunction() and selectConjunction() if possible
2026-03-10 10:12:58 -04:00
CSStep.h
Rename ExpressionTimer to ComplexityTracker and pass thresholds in ctor
2026-04-30 13:43:49 +01:00
CSSyntacticElement.cpp
…
CSTrail.cpp
Sema: Don't record bogus trail changes in salvage()
2026-05-06 11:51:40 -04:00
DebuggerTestingTransform.cpp
…
IDETypeCheckingRequests.cpp
AST: Remove useDC parameter from getDynamicMemberLookupKind()
2026-05-08 15:46:20 -04:00
ImportResolution.cpp
Merge pull request #88447 from dduan/dd/ignore-macro-in-equalified-imports
2026-05-22 11:15:40 +01:00
InstrumenterSupport.cpp
…
InstrumenterSupport.h
…
LegalLiteralExprVerifier.cpp
[Literal Expressions] Add support for wrapping arithmetic and masking shift operators
2026-05-08 10:52:06 +01:00
LiteralExpressionFolding.cpp
[Literal Expressions] Reject references to publicly visible let bindings
2026-05-08 14:23:28 +01:00
LiteralExpressionFolding.h
…
LookupVisibleDecls.cpp
[cxx-interop] Refactor member lookup and enumeration logic
2026-06-03 14:17:36 -07:00
MiscDiagnostics.cpp
[cxx-interop] Support static dispatch for virtual methods using super
2026-06-07 12:14:31 +01:00
MiscDiagnostics.h
Introduce performance hints for untyped throws
2026-03-12 13:07:00 -07:00
NonisolatedNonsendingByDefaultMigration.cpp
[Tests] NFC: Update nonisolated -> @concurrent on async declarations
2026-04-28 09:21:23 -07:00
NonisolatedNonsendingByDefaultMigration.h
…
OpenedExistentials.cpp
…
OpenedExistentials.h
…
PCMacro.cpp
…
PerformanceHints.cpp
Split out the Fix-It for the untyped throws performance hint
2026-03-13 13:33:57 -07:00
PlaygroundTransform.cpp
…
PreCheckTarget.cpp
[Sema] NFC: Use defaultUnboundTypeOpener in more places
2026-03-21 22:18:14 +00:00
Relation.h
…
ResilienceDiagnostics.cpp
[Serialization] Add precomputed layout table for hidden types
2026-05-15 10:07:19 -07:00
SourceLoader.cpp
…
Subtyping.cpp
AST: Rename ExistentialLayout::getSuperclass()
2026-05-27 23:07:51 -04:00
SyntacticElementTarget.cpp
…
TypeAccessScopeChecker.h
…
TypeCheckAccess.cpp
Embedded: Accept and enforce @_implementationOnly class properties
2026-03-24 13:18:23 -07:00
TypeCheckAccess.h
…
TypeCheckAccessNotes.cpp
…
TypeCheckAttr.cpp
Merge pull request #89125 from allevato/raw-identifier-decl-names
2026-06-06 19:22:43 -04:00
TypeCheckAttrABI.cpp
…
TypeCheckAvailability.cpp
Merge pull request #89125 from allevato/raw-identifier-decl-names
2026-06-06 19:22:43 -04:00
TypeCheckAvailability.h
Sema: Pass availability domain and range pairs as a single argument more.
2026-05-26 16:34:47 -07:00
TypeCheckBitwise.cpp
[experimental] Infrastructure for derived conformances via macros (#89419)
2026-06-08 14:23:58 +01:00
TypeCheckBitwise.h
…
TypeCheckCaptures.cpp
rename isNonisolatedNonsendingCaller -> isNonisolatedNonsending
2026-04-28 09:21:46 -07:00
TypeCheckCircularity.cpp
…
TypeCheckCodeCompletion.cpp
…
TypeCheckConcurrency.cpp
[experimental] Infrastructure for derived conformances via macros (#89419)
2026-06-08 14:23:58 +01:00
TypeCheckConcurrency.h
[Reapply][Concurrency] Reject isolated conformances escaping through async callees (#88151)
2026-04-06 08:48:20 -07:00
TypeCheckConstraints.cpp
[cxx-interop] Import inheritance hierarchy of foreign reference types
2026-05-20 12:24:20 +01:00
TypeCheckDecl.cpp
Sema: Fix crash on invalid @dynamicMemberLookup subscript
2026-05-27 23:09:32 -04:00
TypeCheckDecl.h
…
TypeCheckDeclObjC.cpp
more rename followups for isNonisolated and the enum change
2026-04-28 09:21:23 -07:00
TypeCheckDeclOverride.cpp
IRGen: lower hidden C-type layout to TrivialHiddenTypeInfo
2026-05-27 22:28:27 -07:00
TypeCheckDeclPrimary.cpp
Merge pull request #89648 from sepy97/diagnostic-group-ipi
2026-06-09 17:02:59 -07:00
TypeCheckDistributed.cpp
…
TypeCheckDistributed.h
…
TypeCheckEffects.cpp
[Sema] Ensure classifyThrownErrorType treats hole as dependent type
2026-06-08 15:05:00 +01:00
TypeCheckEffects.h
…
TypeCheckEmbedded.cpp
[Embedded] Stop diagnosing untyped throws in embedded mode
2026-03-11 10:52:20 -07:00
TypeCheckEmbedded.h
[Embedded] Stop diagnosing untyped throws in embedded mode
2026-03-11 10:52:20 -07:00
TypeChecker.cpp
[experimental] Infrastructure for derived conformances via macros (#89419)
2026-06-08 14:23:58 +01:00
TypeChecker.h
Sema: Allow default implementations of conformance requirements regardless of visibility.
2026-05-13 09:47:14 -07:00
TypeCheckExpr.cpp
…
TypeCheckExprObjC.cpp
…
TypeCheckFullyInhabited.cpp
[sema] upgrade assertion
2026-04-29 14:59:03 -07:00
TypeCheckFullyInhabited.h
[sema] refactor recognition of FullyInhabited protocols
2026-04-24 04:03:47 -07:00
TypeCheckGeneric.cpp
Merge pull request #89845 from hamishknight/fix-opaque
2026-06-12 00:44:19 +01:00
TypeCheckInvertible.cpp
…
TypeCheckInvertible.h
…
TypeCheckMacros.cpp
Merge pull request #88621 from hnrklssn/swiftify-span-typedefless
2026-05-07 09:56:47 -07:00
TypeCheckMacros.h
…
TypeCheckNameLookup.cpp
AST: Rename ExistentialLayout::getSuperclass()
2026-05-27 23:07:51 -04:00
TypeCheckObjC.h
…
TypeCheckPattern.cpp
[Sema] NFC: Rename TypeResolutionFlags::SilenceErrors -> SilenceDiagnostics
2026-03-22 19:01:50 +00:00
TypeCheckPropertyWrapper.cpp
more rename followups for isNonisolated and the enum change
2026-04-28 09:21:23 -07:00
TypeCheckProtocol.cpp
AST: Change conforming type of reparented protocol conformance to Self
2026-06-08 17:55:28 -04:00
TypeCheckProtocol.h
Revert "Sema: Improve MemberImportVisibility diagnostics for conformances."
2026-04-30 05:28:12 -07:00
TypeCheckRegex.cpp
…
TypeCheckRequestFunctions.cpp
…
TypeCheckStmt.cpp
Sema: Offer fix-its for unnecessary #available condition elements.
2026-06-09 20:04:21 -07:00
TypeCheckStorage.cpp
Extend @section to cover functions of all kinds
2026-06-06 09:31:04 -07:00
TypeCheckSwitchStmt.cpp
…
TypeCheckType.cpp
[Sema] Allow member on opaque parameter type
2026-06-11 11:44:13 +01:00
TypeCheckType.h
Sema: Fix crash when declaring an old-style variadic parameter with nonescaping type
2026-05-18 10:49:23 -04:00
TypeCheckUnsafe.cpp
…
TypeCheckUnsafe.h
…
TypeOfReference.cpp
Support additional args in @dynamicMemberLookup subscripts
2026-05-08 15:46:17 -04:00
TypeVariableType.cpp
Sema: A bit of extra debug info
2026-03-10 14:47:28 -04:00
TypoCorrection.h
…