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
pack-diff
swift-mirror/lib/Sema
History
Anton Korobeynikov 6a0e0d223e Initial support for differentiation of throwing functions
2025-07-23 14:00:56 -07:00
..
DerivedConformance
[Strict memory safety] Eliminate spurious warnings with synthesized Codable
2025-07-10 09:03:04 -07:00
AssociatedTypeInference.cpp
[Associated type inference] Do recursive validation check before "invalid" check
2025-07-11 10:09:16 -07:00
BuilderTransform.cpp
…
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: Lazily build prepared overload when simplifying BindOverload constraint
2025-07-11 19:57:29 -04:00
ConstraintGraph.cpp
Prevent PrintOptions from being implicitly copied.
2025-06-05 12:52:01 -04:00
ConstraintLocator.cpp
…
ConstraintSystem.cpp
[CS] NFC: Factor out Solution::hasAppliedSelf
2025-07-18 10:54:17 +01:00
CSApply.cpp
Sema: Replace a usage of SubstFlags::SubstituteOpaqueArchetypes with transformRec()
2025-07-18 19:12:33 -04:00
CSBindings.cpp
[CSBindings] Prevent BindingSet::isViable from dropping viable bindings (v2)
2025-06-27 23:43:09 -07:00
CSDiagnostics.cpp
[CS] NFC: Factor out Solution::hasAppliedSelf
2025-07-18 10:54:17 +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
Merge pull request #82976 from slavapestov/prepared-overloads-part-2
2025-07-11 19:10:15 -04:00
CSOptimizer.cpp
[CSOptimizer] Prefer logical infix operator if it has smaller overload set
2025-07-08 00:10:47 -07:00
CSRanking.cpp
Sema: Record opened type variables in PreparedOverload
2025-07-09 15:00:02 -04:00
CSSimplify.cpp
Sema: Special-case recording of Bind constraint in PreparedOverload
2025-07-11 19:57:29 -04:00
CSSolver.cpp
Sema: PreparedOverload => PreparedOverloadBuilder
2025-07-10 19:53:18 -04: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
…
DebuggerTestingTransform.cpp
…
IDETypeCheckingRequests.cpp
…
ImportResolution.cpp
…
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: Improve the infinite opaque return type check
2025-07-18 20:03:03 -04: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
AST: Remove MakeAbstractConformanceForGenericType
2025-07-15 16:34:11 -04: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
…
TypeAccessScopeChecker.h
…
TypeCheckAccess.cpp
[AST] Add new declaration - using
2025-05-30 00:39:06 -07:00
TypeCheckAccess.h
…
TypeCheckAttr.cpp
Initial support for differentiation of throwing functions
2025-07-23 14:00:56 -07:00
TypeCheckAttrABI.cpp
[AST] Add new declaration - using
2025-05-30 00:39:06 -07:00
TypeCheckAvailability.cpp
AST: Generalize availability fix-its to support custom availability domains.
2025-07-18 13:27:08 -07:00
TypeCheckAvailability.h
…
TypeCheckBitwise.cpp
Sema: Fix the insertion location for conformances attributes
2025-06-24 14:49:03 +01:00
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
…
TypeCheckConcurrency.cpp
Merge pull request #83164 from xedin/nonisolated-nonseding-with-special-decls
2025-07-18 09:39:55 -07:00
TypeCheckConcurrency.h
[Concurrency] Fix SendableMetatype conformance failures to behave like Sendable ones
2025-06-06 08:48:29 -07:00
TypeCheckConstraints.cpp
Sema: Collect constraints in PreparedOverload
2025-07-09 15:00:02 -04:00
TypeCheckDecl.cpp
Revert "[Concurrency] Prevent use of nonisolated(nonsending) and @concurrent on @_inheritActorContext parameters"
2025-07-10 11:15:00 -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
[Strict memory safety] "unsafe" expression never propagates unsafe outward
2025-07-16 12:44:08 -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] Remove completion assert in foldSequence for now
2025-07-14 18:50:42 +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-08 09:48:08 -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
[Strict memory safety] Eliminate spurious warnings with synthesized Codable
2025-07-10 09:03:04 -07:00
TypeCheckPropertyWrapper.cpp
Diagnose CustomAttrs as needed in @abi
2025-04-18 14:47:04 -07:00
TypeCheckProtocol.cpp
Merge pull request #83004 from slavapestov/fix-rdar155624135
2025-07-11 21:11:49 -04: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] Set ReturnStmt result even if type-checking fails
2025-07-16 14:40:57 +01:00
TypeCheckStorage.cpp
Sema: Sometimes allow universally unavailable declarations to be referenced.
2025-07-15 14:08:57 -07:00
TypeCheckSwitchStmt.cpp
[AST/Sema] SE-0487: Expand @nonexhaustive attribute to support warn argument
2025-07-04 10:20:25 -07:00
TypeCheckType.cpp
AST: Remove MakeAbstractConformanceForGenericType
2025-07-15 16:34:11 -04:00
TypeCheckType.h
Revert "[Concurrency] Prevent use of nonisolated(nonsending) and @concurrent on @_inheritActorContext parameters"
2025-07-10 11:15:00 -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
[Concurrency] NonisolatedNonsendingByDefault: Extend nonisolated(nonsending) to _openExistential
2025-07-17 17:35:12 -07:00
TypoCorrection.h
…