Joe Groff
a0a26b8330
Require explicit statement of all Copyable/Escapable requirements for conditional Copyable/Escapable conformances.
...
As specified by the SE-0446 acceptance, extensions that declare a type's
conditional `Copyable` or `Escapable` ability must reiterate explicitly all
of the `Copyable` and/or `Escapable` requirements, whether required or not
required (by e.g. `~Copyable`) that were suppressed in the original
type declaration.
2025-01-21 09:36:39 -08:00
swift-ci
5e0b892e9e
Merge remote-tracking branch 'origin/main' into rebranch
2024-09-20 13:09:36 -07:00
swift-ci
56bd686ccf
Merge remote-tracking branch 'origin/main' into rebranch
2024-09-19 18:58:28 -07:00
Slava Pestov
afbd81a599
AST/Sema: Use ProtocolConformanceRef::getTypeWitness()
2024-09-19 14:18:33 -04:00
Slava Pestov
da0130d297
AST: Replace calls to substBaseType() with getAssociatedType()
2024-09-19 14:18:32 -04:00
Ben Barham
a7b50f357f
Merge remote-tracking branch 'origin/main' into manual-main-merge
...
Conflicts:
- `lib/Driver/ToolChains.cpp` conflicting with the `addAllArgs` rename
for multiple options
2024-09-16 13:53:18 -07:00
Slava Pestov
d57b6d748b
RequirementMachine: Forgot to re-enable an assert
2024-09-14 23:33:11 -04:00
Slava Pestov
fbe3d71b19
RequirementMachine: Small cleanup
2024-09-14 23:33:11 -04:00
Slava Pestov
f35c90a6b7
Merge pull request #76445 from slavapestov/maptypeintocontext
...
Overhaul mapTypeIntoContext()
2024-09-14 08:45:20 -04:00
Slava Pestov
08bb0017f5
AST: Add GenericSignatureImpl::getReducedTypeParameter()
...
This avoids a bit of indirection when the input is already known to be
a type parameter, and not just a type that contains type parameters.
2024-09-13 15:19:48 -04:00
Slava Pestov
be9d999e64
AST: Simplify GenericSignature::getLocalRequirements()
2024-09-13 15:19:48 -04:00
Alejandro Alonso
6f83e3c28f
Fix type parsing when preceeded by '-'
2024-09-11 10:28:44 -07:00
swift-ci
da55e84c74
Merge remote-tracking branch 'origin/main' into rebranch
2024-09-05 15:35:33 -07:00
Alejandro Alonso
451e7259a1
Add ValueGenerics experimental feature
2024-09-04 15:13:49 -07:00
Alejandro Alonso
7cd424812f
Move some value checking to desugaring
2024-09-04 15:13:46 -07:00
Alejandro Alonso
f4f60f4344
Remove Value requirement Add GenericTypeParamKind
2024-09-04 15:13:43 -07:00
Alejandro Alonso
7c85261a77
Add runtime support
2024-09-04 15:13:27 -07:00
Alejandro Alonso
3e9c4633ca
Add some new diagnostics and tests
2024-09-04 15:13:27 -07:00
Alejandro Alonso
75c2cbf593
Implement value generics
...
Some requirement machine work
Rename requirement to Value
Rename more things to Value
Fix integer checking for requirement
some docs and parser changes
Minor fixes
2024-09-04 15:13:25 -07:00
swift-ci
b29ebad446
Merge remote-tracking branch 'origin/main' into rebranch
2024-09-04 12:04:17 -07:00
Slava Pestov
f633c16135
RequirementMachine: Re-enable an ASSERT
2024-09-04 10:42:19 -04:00
swift-ci
ee0d59cc91
Merge remote-tracking branch 'origin/main' into rebranch
2024-08-24 12:35:16 -07:00
Slava Pestov
cf784f980e
AST: Remove SubstFlags::AllowLoweredTypes
2024-08-23 13:14:05 -04:00
Ben Barham
467e528200
Merge remote-tracking branch 'origin/main' into manual-rebranch-merge
...
Conflicts:
- `lib/Serialization/ModuleFormat.h` bumped version to account for
differences between main and rebranch.
2024-08-09 15:22:39 -07:00
Slava Pestov
375363a473
AST: Move global conformance lookup entry points to ConformanceLookup.h
2024-08-08 23:35:58 -04:00
swift-ci
9e7bb3d1de
Merge remote-tracking branch 'origin/main' into rebranch
2024-08-06 14:34:29 -07:00
Sima Nerush
6400a294a8
Merge pull request #70227 from simanerush/same-element-requirements
...
[Requirement Machine] Implement same-element requirements.
2024-08-06 14:24:33 -07:00
swift-ci
7f656a16e1
Merge remote-tracking branch 'origin/main' into rebranch
2024-08-02 15:54:53 -07:00
Slava Pestov
db8be791f5
RequirementMachine: Temporarily replace a couple of ASSERT with DEBUG_ASSERT
...
"Fixes" rdar://132236212.
2024-08-02 15:15:35 -04:00
Sima Nerush
0dc6719748
[Requirement Machine] Fix the order of terms with pack element symbols to always appear on the left-hand side of the same-element rewrite rule.
2024-07-15 10:19:32 -07:00
Sima Nerush
1ba38c54f2
[Requirement Machine] When forming requirements from same-element rewrite rules, swap the sides depending on which one is longer once the [element] symbol is dropped.
...
This change fixes the "out-of-order" type parameters error in `GenericSignature::verify`
2024-07-15 10:19:32 -07:00
Sima Nerush
10a4940396
[Requirement Machine] Add ability to prepend a symbol to a term, clean up existing code
2024-07-15 10:19:32 -07:00
Sima Nerush
6393a32a68
[Requirement Machine] Initialize storage for ThePackElementSymbol
2024-07-15 10:19:32 -07:00
Holly Borla
dbda2738a6
[Features] Gate same-element requirements behind an experimental feature flag.
2024-07-15 10:19:32 -07:00
Holly Borla
e6eb5dab79
[Requirement Machine] Stricter verification conditions for element symbols.
2024-07-15 10:19:32 -07:00
Holly Borla
eabaed8a62
[Requirement Machine] Use element symbols for concrete same-element requirements.
2024-07-15 10:19:32 -07:00
Holly Borla
0b6f8c8bd0
[Requirement Machine] Fix the order of requirements that involve pack elements.
2024-07-15 10:19:32 -07:00
Holly Borla
2ea4586580
[Requirement Machine] Implement same-element requirements.
2024-07-15 10:19:32 -07:00
Ben Barham
2715d0e9d6
Merge branch 'main' into 20240710-main-to-rebranch
...
Conflicts:
- `test/Interop/Cxx/class/method/methods-this-and-indirect-return-irgen-itanium.swift`
previously fixed on rebranch, now fixed on main (slightly differently).
2024-07-10 20:42:09 -07:00
Slava Pestov
2adad14f7b
RequirementMachine: Don't call getContextSubstitutionMap() on an existential type
2024-07-10 13:28:26 -04:00
swift-ci
b7921a8232
Merge remote-tracking branch 'origin/main' into rebranch
2024-07-06 14:34:09 -07:00
Slava Pestov
86d567f95a
AST: ModuleDecl::lookupConformance() is a static method
2024-07-06 12:05:47 -04:00
Slava Pestov
1901862afc
AST: Remove LookUpConformanceInSignature
2024-07-06 12:05:46 -04:00
Slava Pestov
fae01d9776
AST: Remove ModuleDecl parameter from more places
2024-07-06 12:05:46 -04:00
Ben Barham
aa7a3a8268
Cleanup std includes
...
Remove `deque` from files it isn't actually used in. Add it and `stack`
to files that it is - presumably they were previously transitively found
through other includes.
2024-07-02 16:13:49 -07:00
Slava Pestov
f34e57c016
RequirementMachine: Use ProtocolDecl::getAllInheritedProtocols()
2024-06-25 15:20:42 -04:00
Slava Pestov
273c4b2b1a
RequirementMachine: Convert to new assertions
2024-06-22 08:53:22 -04:00
Tim Kientzle
1098054291
Merge branch 'main' into tbkka-assertions2
2024-06-18 17:52:00 -07:00
Kavon Farvardin
ec4a125f3e
NCGenerics: ext's might not infer invertible req's
...
If the extension adds conformance to an invertible protocol, it's
confusing for people to also infer conditional requirements on the
generic parameters for those invertible protocols. This came up in the
review of SE-427.
2024-06-12 14:44:22 -07:00
Tim Kientzle
1d961ba22d
Add #include "swift/Basic/Assertions.h" to a lot of source files
...
Although I don't plan to bring over new assertions wholesale
into the current qualification branch, it's entirely possible
that various minor changes in main will use the new assertions;
having this basic support in the release branch will simplify that.
(This is why I'm adding the includes as a separate pass from
rewriting the individual assertions)
2024-06-05 19:37:30 -07:00
