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
maxd/build-script-typing
swift-mirror/lib/Sema
History
Pavel Yaskevich 785e7b1571 Merge pull request #82858 from gottesmm/rdar154969621 
[concurrency] Perform some fixes so that transfernonsendable_closureliterals_isolationinference.swift now passes.
2025-07-08 00:04:14 -07:00
..
DerivedConformance
SILGen: Fix if #unavailable mis-compile for zippered libraries.
2025-07-02 11:23:42 -07:00
AssociatedTypeInference.cpp
Sema: Implement missing part of SE-0346
2025-06-03 17:28:19 -04:00
BuilderTransform.cpp
Merge pull request #79928 from xedin/support-debug-constraints-on-line-for-result-builders
2025-03-12 00:29:41 -07:00
CMakeLists.txt
[ConstraintSystem] Initial implementation of disjunction optimizer
2025-06-27 23:43:09 -07:00
CodeSynthesis.cpp
Merge pull request #82295 from hamishknight/wrapping-paper
2025-06-18 08:50:57 +01:00
CodeSynthesis.h
…
CodeSynthesisDistributedActor.cpp
Sema: Fix the insertion location for conformances attributes
2025-06-24 14:49:03 +01:00
Comment.cpp
…
CompletionContextFinder.cpp
…
ConstantnessSemaDiagnostics.cpp
[Sema] ConstnessChecker: Look through function conversions while checking arguments
2025-04-23 14:11:39 -07:00
Constraint.cpp
Sema: Shave another 8 bytes off of Constraint
2025-03-10 14:53:48 -04:00
ConstraintGraph.cpp
Prevent PrintOptions from being implicitly copied.
2025-06-05 12:52:01 -04:00
ConstraintLocator.cpp
[Sema] Diagnose method arg captures that are not Hashable/Equatable.
2025-03-19 08:56:03 -07:00
ConstraintSystem.cpp
[CS] Ensure type variables are eliminated by Solution::simplifyType
2025-07-03 16:24:31 +01:00
CSApply.cpp
[concurrency] Perform some fixes so that transfernonsendable_closureliterals_isolationinference.swift now passes.
2025-07-07 17:21:41 -07:00
CSBindings.cpp
[CSBindings] Prevent BindingSet::isViable from dropping viable bindings (v2)
2025-06-27 23:43:09 -07:00
CSDiagnostics.cpp
Merge pull request #82627 from swiftlang/egorzhdan/void-begin-crash
2025-07-01 17:35:16 +01:00
CSDiagnostics.h
[CS] Use value() instead of * for ArgumentMismatchFailure
2025-06-30 20:52:06 +01:00
CSFix.cpp
[CSFix] Fix getConcurrencyFixBehavior to account for non-decl overloads
2025-06-26 15:08:51 -07:00
CSGen.cpp
[AST] Enforce non-null type for value GenericTypeParamType
2025-07-02 14:46:55 +01:00
CSOptimizer.cpp
[CSOptimizer] Rework inferTypeOfArithmeticOperatorChain
2025-06-27 23:43:12 -07:00
CSRanking.cpp
Merge pull request #82320 from xedin/hide-solver-hacks-behind-a-flag
2025-06-20 00:12:16 -07:00
CSSimplify.cpp
[CSSimplify] CGFloat-Double: Rank narrowing correctly when result is injected into an optional
2025-06-27 23:43:09 -07:00
CSSolver.cpp
[CSSolver] Attempt choices marked as disfavored at the end of partition
2025-06-27 23:43:10 -07:00
CSStep.cpp
[CSOptimizer] Skip disfavored choices when they would result in a worse solution
2025-06-27 23:43:11 -07:00
CSStep.h
[CSStep] Modify selectDisjunction to return favored choices directly
2025-06-27 23:43:09 -07:00
CSSyntacticElement.cpp
[CS] Check hasType in isPlaceholderVar
2025-06-02 14:33:10 +01:00
CSTrail.cpp
[CS] Clean up pack expansion environment handling a little
2025-02-20 21:31:46 +00:00
DebuggerTestingTransform.cpp
…
IDETypeCheckingRequests.cpp
…
ImportResolution.cpp
[Importer] Ensure that we can see macro-expanded declarations in C++ namespaces
2025-03-14 14:10:44 -07:00
InstrumenterSupport.cpp
…
InstrumenterSupport.h
…
LegalConstExprVerifier.cpp
[Compile Time Values] Add syntactic verification of valid expressions in '@const' contexts
2025-05-20 09:38:36 -07:00
LookupVisibleDecls.cpp
…
MiscDiagnostics.cpp
Sema: Diagnose opaque types that depend on availability of a custom domain.
2025-07-02 11:23:42 -07:00
MiscDiagnostics.h
[Compile Time Values] Add syntactic verification of valid expressions in '@const' contexts
2025-05-20 09:38:36 -07:00
NonisolatedNonsendingByDefaultMigration.cpp
[Concurrency] NonisolatedNonsendingByDefault: Don't attempt to migrate $ prefixed declarations
2025-06-13 14:36:41 -07:00
NonisolatedNonsendingByDefaultMigration.h
[Frontend] Rename AsyncCallerExecution upcoming feature to NonisolatedNonsendingBeDefault
2025-04-21 13:59:29 -07:00
OpenedExistentials.cpp
Adopt ABORT throughout the compiler
2025-05-19 20:55:01 +01:00
OpenedExistentials.h
…
PCMacro.cpp
…
PlaygroundTransform.cpp
…
PreCheckTarget.cpp
Allow inout parameters in expression macros (#82370)
2025-07-03 23:52:16 -07:00
ResilienceDiagnostics.cpp
AST/Sema: Make MemberImportVisibility a migratable feature.
2025-05-30 15:34:08 -07:00
SourceLoader.cpp
[Dependency Scanning] Refactor Swift Scanner loader to be standalone
2025-06-23 13:39:36 -07:00
SyntacticElementTarget.cpp
[Sema] Remove generic environment tracking from StmtChecker
2025-02-26 12:02:05 +00:00
TypeAccessScopeChecker.h
…
TypeCheckAccess.cpp
[AST] Add new declaration - using
2025-05-30 00:39:06 -07:00
TypeCheckAccess.h
…
TypeCheckAttr.cpp
Merge pull request #82807 from xedin/se-0487-implementation-adjustments
2025-07-08 00:03:36 -07:00
TypeCheckAttrABI.cpp
[AST] Add new declaration - using
2025-05-30 00:39:06 -07:00
TypeCheckAvailability.cpp
[Concurrency] Fix SendableMetatype conformance failures to behave like Sendable ones
2025-06-06 08:48:29 -07:00
TypeCheckAvailability.h
Sema: Retire some ExportContext availability conveniences.
2025-03-16 09:38:54 -07:00
TypeCheckBitwise.cpp
Sema: Fix the insertion location for conformances attributes
2025-06-24 14:49:03 +01:00
TypeCheckBitwise.h
…
TypeCheckCaptures.cpp
Fix a bunch of bugs with the isolation of local funcs. Since we
2025-06-29 01:23:04 -04:00
TypeCheckCircularity.cpp
…
TypeCheckCodeCompletion.cpp
[NFC] Rename property to member to generalize
2025-03-19 08:53:18 -07:00
TypeCheckConcurrency.cpp
Merge pull request #82858 from gottesmm/rdar154969621
2025-07-08 00:04:14 -07:00
TypeCheckConcurrency.h
[Concurrency] Fix SendableMetatype conformance failures to behave like Sendable ones
2025-06-06 08:48:29 -07:00
TypeCheckConstraints.cpp
[TypeChecker] Implement a per-module block list for disjunction optimizer
2025-06-27 23:43:12 -07:00
TypeCheckDecl.cpp
[Concurrency] Prevent use of nonisolated(nonsending) and @concurrent on @_inheritActorContext parameters
2025-07-07 17:21:41 -07:00
TypeCheckDecl.h
…
TypeCheckDeclObjC.cpp
Merge pull request #82039 from xymus/cdecl-enum
2025-06-30 09:56:28 -07:00
TypeCheckDeclOverride.cpp
[AST/Sema] SE-0487: Remove @preEnumExtensibility attribute
2025-07-04 11:06:44 -07:00
TypeCheckDeclPrimary.cpp
Merge pull request #82039 from xymus/cdecl-enum
2025-06-30 09:56:28 -07:00
TypeCheckDistributed.cpp
[Distributed] account Distributed module use from DA declarations
2025-05-28 12:54:07 +09:00
TypeCheckDistributed.h
…
TypeCheckEffects.cpp
[TypeChecker] Update async initializer warning downgrade to check the call instead of callee
2025-06-27 23:43:09 -07:00
TypeCheckEffects.h
…
TypeChecker.cpp
Sema: Try to bind extensions without expanding macros
2025-06-11 20:07:43 -04:00
TypeChecker.h
[Sema] Type inference from default expression doesn’t compile in free function (#79989)
2025-05-29 20:21:35 +01:00
TypeCheckExpr.cpp
[Sema] Avoid applying diagnostic hack to caller-side expression macros
2025-07-02 17:46:10 +01:00
TypeCheckExprObjC.cpp
AST: Cut down on DescriptiveDeclKind usage in DiagnosticsSema.def
2025-04-05 12:31:19 +01:00
TypeCheckGeneric.cpp
Sema: Improve the 'protocol method can't impose new requirements on Self' check
2025-07-07 12:23:58 -04:00
TypeCheckInvertible.cpp
[cxx-interop] Avoid unchecked recursion when importing C++ classes with circular inheritance
2025-04-30 13:33:33 -07:00
TypeCheckInvertible.h
…
TypeCheckMacros.cpp
Sema: Remove unused variable
2025-07-06 11:22:55 -04:00
TypeCheckMacros.h
Update file header comments for headers in lib.
2025-05-04 22:26:26 +02:00
TypeCheckNameLookup.cpp
[Sema] Scale back CodingKeys hack in TypeChecker::lookupUnqualifiedType
2025-06-13 19:42:48 +01:00
TypeCheckObjC.h
Sema: Simplify tracking the foreign language of an @objc decl
2025-04-17 15:33:46 -07:00
TypeCheckPattern.cpp
Sema: Handle bogus DeclNameRefs in translateExprToDeclRefTypeRepr()
2025-05-30 16:27:01 -04:00
TypeCheckPropertyWrapper.cpp
Diagnose CustomAttrs as needed in @abi
2025-04-18 14:47:04 -07:00
TypeCheckProtocol.cpp
Fix use-after-free through diagnostic argument
2025-06-24 15:42:44 +01:00
TypeCheckProtocol.h
Sema: Fix handling of getter typed throws in witness matching
2025-04-01 14:53:49 -04:00
TypeCheckRegex.cpp
…
TypeCheckRequestFunctions.cpp
[AST] Use ErrorType for invalid value generic parameter
2025-07-02 14:46:55 +01:00
TypeCheckStmt.cpp
[Sema] Continue type-checking for body when preamble fails
2025-05-15 21:23:40 +01:00
TypeCheckStorage.cpp
ASTBridging: Bridge swift::AccessorKind directly
2025-06-19 04:26:52 +01:00
TypeCheckSwitchStmt.cpp
[AST/Sema] SE-0487: Expand @nonexhaustive attribute to support warn argument
2025-07-04 10:20:25 -07:00
TypeCheckType.cpp
[Concurrency] Prevent use of nonisolated(nonsending) and @concurrent on @_inheritActorContext parameters
2025-07-07 17:21:41 -07:00
TypeCheckType.h
[Concurrency] Prevent use of nonisolated(nonsending) and @concurrent on @_inheritActorContext parameters
2025-07-07 17:21:41 -07:00
TypeCheckUnsafe.cpp
Allow '@unsafe' on import declarations to silence '@preconcurrency' warning
2025-06-23 19:06:14 -07:00
TypeCheckUnsafe.h
[Strict memory safety] Provide argument-specific diagnostics for calls
2025-04-25 21:54:19 -07:00
TypeOfReference.cpp
[ConstraintSystem] Fix getEffectiveOverloadType to recognize when base is opaque result type
2025-06-27 23:43:09 -07:00
TypoCorrection.h
…