averello/swift-mirror
1
0 Fork 0
mirror of https://github.com/apple/swift.git synced 2026-10-22 19:15:50 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
jgrynspan/executablePath
swift-mirror/lib/Sema
T
History
Slava Pestov 86817924dd Merge pull request #90658 from slavapestov/subtype-meat 
Sema: Compute meet of subtype bindings
2026-07-17 09:27:45 -04:00
..
DerivedConformance
AST: Represent deprecation as a kind of AvailabilityRestriction.
2026-07-13 22:31:22 -07:00
AssociatedTypeInference.cpp
Sema: Add iteration limit for associated type inference
2026-07-10 12:50:46 -04:00
BindingProducer.cpp
[CS] Avoid binding pattern to hole before if/switch expression
2026-07-15 18:40:08 +01:00
BuilderTransform.cpp
AST: Rename AvailabilityConstraint to AvailabilityRestriction.
2026-07-12 10:36:54 -07:00
CMakeLists.txt
[sema] Basic recognition of the FullyInhabited protocols
2026-04-19 21:59:38 -07:00
CodeSynthesis.cpp
Sema: Suppress memberwise init synthesis if init accessors are unavailable.
2026-07-14 19:24:17 -07:00
CodeSynthesis.h
…
CodeSynthesisDistributedActor.cpp
[Distributed] Support any/some @Resolvable Greeter in dist funcs (#89411)
2026-06-24 19:29:22 +09:00
Comment.cpp
Rename NLFlag to NLFlags to match other OptionSet flag types.
2026-06-27 12:38:02 +02:00
CompletionContextFinder.cpp
…
ConstantnessSemaDiagnostics.cpp
…
Constraint.cpp
Sema: Remove some old performance hacks
2026-06-22 23:27:26 -04:00
ConstraintGraph.cpp
…
ConstraintLocator.cpp
[CS] Avoid binding pattern to hole before if/switch expression
2026-07-15 18:40:08 +01:00
ConstraintSystem.cpp
AST: Rename AvailabilityConstraint to AvailabilityRestriction.
2026-07-12 10:36:54 -07:00
CSApply.cpp
AST: fold the metatype-extension check into a DeclContext helper
2026-07-13 08:56:19 -07:00
CSBindings.cpp
Merge pull request #90658 from slavapestov/subtype-meat
2026-07-17 09:27:45 -04:00
CSDiagnostics.cpp
Merge pull request #90662 from xedin/generic-arg-mismatch-in-req-context
2026-07-15 16:25:56 -07:00
CSDiagnostics.h
[CSFix] Switch AllowInlineArrayLiteralCountMismatch to use numbers for counts
2026-07-13 11:13:38 -07:00
CSDisjunction.cpp
Sema: Replace canPossiblyConvertTo() with canConvertTo() and checkConversion()
2026-06-17 15:24:41 -06:00
CSFix.cpp
[CSFix] Switch AllowInlineArrayLiteralCountMismatch to use numbers for counts
2026-07-13 11:13:38 -07:00
CSGen.cpp
[CSSimplify] Propagate holes to members when base itself is a hole
2026-07-06 15:21:09 -07:00
CSOptimizer.cpp
Sema: Clean up the TernaryExpr hack in CSOptimizer.cpp
2026-06-29 19:07:36 -04: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
Merge pull request #90629 from xedin/rework-inline-array-count-fix
2026-07-15 14:51:40 -07:00
CSSolver.cpp
Sema: Remove some old performance hacks
2026-06-22 23:27:26 -04:00
CSStep.cpp
Sema: Remove some old performance hacks
2026-06-22 23:27:26 -04:00
CSStep.h
[CSStep] Skip default Void for closure result in presence of other successful choices
2026-06-17 14:38:04 -07:00
CSSyntacticElement.cpp
AST: Rename AvailabilityConstraint to AvailabilityRestriction.
2026-07-12 10:36:54 -07:00
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
Sema: Add stack trace descriptions to import resolution and binding.
2026-07-07 17:25:02 -07: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] Prohibit references to @usableFromInline internal declaration values
2026-06-08 10:35:06 +01:00
LiteralExpressionFolding.h
…
LookupVisibleDecls.cpp
Rename NLFlag to NLFlags to match other OptionSet flag types.
2026-06-27 12:38:02 +02: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
AST: fold the metatype-extension check into a DeclContext helper
2026-07-13 08:56:19 -07:00
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: Clean up NameLookupOptions refactor by removing ghost code and adding explicit imports.
2026-07-06 23:00:58 +02: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
Sema: Introduce getTypeVariablesWithVariance()
2026-06-29 22:11:58 -04:00
SyntacticElementTarget.cpp
[Literal Expressions] Introduce expression-based generic arguments
2026-02-24 14:10:39 +00:00
TypeAccessScopeChecker.h
Sema: @implementation signatures can reference hidden dependencies
2026-02-17 15:21:00 -08:00
TypeCheckAccess.cpp
Sema: record where-clause requirement types as package import usage. rdar://181699916
2026-07-14 16:32:45 -07:00
TypeCheckAccess.h
…
TypeCheckAccessNotes.cpp
…
TypeCheckAttr.cpp
Merge pull request #90638 from tshortli/deprecation-as-availability-restriction
2026-07-14 13:31:12 -07:00
TypeCheckAttrABI.cpp
…
TypeCheckAvailability.cpp
Merge pull request #90638 from tshortli/deprecation-as-availability-restriction
2026-07-14 13:31:12 -07:00
TypeCheckAvailability.h
AST: Rename AvailabilityConstraint to AvailabilityRestriction.
2026-07-12 10:36:54 -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
[Completion] Remove old type-checking logic
2026-02-16 11:18:49 +00:00
TypeCheckConcurrency.cpp
[Sema] Check superclass Sendable conformance before diagnosing NonSendableSuperclass
2026-07-13 15:11:31 -04:00
TypeCheckConcurrency.h
Sema: Remove deprecation checking special case in favor of @diagnose.
2026-07-07 15:30:57 -07:00
TypeCheckConstraints.cpp
[cxx-interop] Import inheritance hierarchy of foreign reference types
2026-05-20 12:24:20 +01:00
TypeCheckDecl.cpp
AST: represent protocol metatype extensions faithfully in the TypeRepr
2026-07-13 14:10:08 -07:00
TypeCheckDecl.h
…
TypeCheckDeclObjC.cpp
Fix diagnostic for @c enum T: Int128. (#90028)
2026-07-09 19:01:00 -07:00
TypeCheckDeclOverride.cpp
AST: Represent deprecation as a kind of AvailabilityRestriction.
2026-07-13 22:31:22 -07:00
TypeCheckDeclPrimary.cpp
AST: represent protocol metatype extensions faithfully in the TypeRepr
2026-07-13 14:10:08 -07:00
TypeCheckDistributed.cpp
Merge pull request #90090 from filip-sakel/nloptions-optionset
2026-06-28 08:20:43 -07:00
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
Merge pull request #90440 from filip-sakel/remove-namelookupoptions
2026-07-09 10:19:23 -07:00
TypeCheckExpr.cpp
Sema: Clean up NameLookupOptions refactor by removing ghost code and adding explicit imports.
2026-07-06 23:00:58 +02:00
TypeCheckExprObjC.cpp
[Sema] Requestify TypeChecker::checkObjCKeyPathExpr
2026-02-16 11:18:49 +00:00
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
AST: represent protocol metatype extensions faithfully in the TypeRepr
2026-07-13 14:10:08 -07: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: fold the metatype-extension check into a DeclContext helper
2026-07-13 08:56:19 -07:00
TypeCheckObjC.h
…
TypeCheckPattern.cpp
AST: Rename AvailabilityConstraint to AvailabilityRestriction.
2026-07-12 10:36:54 -07:00
TypeCheckPropertyWrapper.cpp
Rename NLFlag to NLFlags to match other OptionSet flag types.
2026-06-27 12:38:02 +02:00
TypeCheckProtocol.cpp
AST: Represent deprecation as a kind of AvailabilityRestriction.
2026-07-13 22:31:22 -07:00
TypeCheckProtocol.h
Revert "Sema: Improve MemberImportVisibility diagnostics for conformances."
2026-04-30 05:28:12 -07:00
TypeCheckRegex.cpp
…
TypeCheckRequestFunctions.cpp
…
TypeCheckStmt.cpp
AST: Rename AvailabilityConstraint to AvailabilityRestriction.
2026-07-12 10:36:54 -07:00
TypeCheckStorage.cpp
Sema: Infer availability for property wrapper backing storage variables.
2026-07-07 13:47:56 -07:00
TypeCheckSwitchStmt.cpp
…
TypeCheckType.cpp
Enable BorrowingForLoop and BorrowingSequence flags by default (#90545)
2026-07-10 23:18:55 -05: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
AST: fold the metatype-extension check into a DeclContext helper
2026-07-13 08:56:19 -07:00
TypeVariableType.cpp
[CSSimplify] If type of a synthesized argument variable has type variables they can be holes
2026-07-06 15:21:09 -07:00
TypoCorrection.h
…