Alejandro Alonso
f4f60f4344
Remove Value requirement Add GenericTypeParamKind
2024-09-04 15:13:43 -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
756fe355fa
Merge remote-tracking branch 'origin/main' into rebranch
2024-09-03 22:34:34 -07:00
Alex Hoppen
c5aa49ba64
Revert "Isolated synchronous deinit"
2024-09-03 18:11:26 -07:00
swift-ci
dd7533d4e7
Merge remote-tracking branch 'origin/main' into rebranch
2024-09-03 09:33:55 -07:00
Konrad `ktoso` Malawski
c55ad6fa88
Merge branch 'main' into mpokhylets/isolated-deinit
2024-09-02 23:16:17 +09:00
swift-ci
33c663ec14
Merge remote-tracking branch 'origin/main' into rebranch
2024-09-01 15:14:16 -07:00
Slava Pestov
e79763b590
AST: Factor out mapLocalArchetypesOutOfContext() utility function
2024-08-30 15:24:00 -04:00
Mykola Pokhylets
e0ad7bde82
Merge branch 'main' into mpokhylets/isolated-deinit
...
# Conflicts:
# include/swift/Basic/Features.def
# lib/AST/ASTPrinter.cpp
# lib/AST/FeatureSet.cpp
2024-08-29 11:28:43 +02: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
Slava Pestov
da4d076f02
AST: Introduce SubstFlags::SubstitutePrimaryArchetypes
2024-08-22 18:41:14 -04:00
swift-ci
e27edcada1
Merge remote-tracking branch 'origin/main' into rebranch
2024-08-21 16:49:14 -07:00
Slava Pestov
39b4bda1dc
AST: Introduce SubstFlags::SubstituteLocalArchetypes
2024-08-21 14:23:37 -04:00
swift-ci
b08f7a1307
Merge remote-tracking branch 'origin/main' into rebranch
2024-08-20 13:58:19 -07:00
Slava Pestov
50ab7f52a2
AST: Remove more usages of ArchetypeType::getRoot()
2024-08-20 11:51:31 -04:00
swift-ci
3b35248991
Merge remote-tracking branch 'origin/main' into rebranch
2024-08-19 05:33:56 -07:00
Slava Pestov
be56e430ca
ASTMangler: Compute canonical type earlier
2024-08-17 22:04:15 -04:00
swift-ci
a5ec343a08
Merge remote-tracking branch 'origin/main' into rebranch
2024-08-17 06:14:34 -07:00
Mykola Pokhylets
50b1313175
Merge branch 'main' into mpokhylets/isolated-deinit
...
# Conflicts:
# lib/SILGen/SILGenDistributed.cpp
# lib/Sema/TypeCheckConcurrency.cpp
2024-08-15 16:58:43 +02:00
Slava Pestov
b601c294ac
AST: Replace remaining uses of Type::transform() with transformRec()
2024-08-12 16:05:43 -04:00
swift-ci
04d8b3e7a2
Merge remote-tracking branch 'origin/main' into rebranch
2024-08-07 17:15:02 -07:00
Slava Pestov
a142b19de5
ASTMangler: Convert an unreachable into abort
2024-08-06 14:45:33 -04:00
Mykola Pokhylets
816d62c972
Merge remote-tracking branch 'upstream/main' into mpokhylets/isolated-deinit
...
# Conflicts:
# include/swift/Basic/Features.def
# lib/SILGen/SILGenDestructor.cpp
# test/Concurrency/flow_isolation.swift
# test/abi/macOS/arm64/concurrency.swift
# test/abi/macOS/x86_64/concurrency.swift
2024-07-11 13:11:59 +02:00
Mykola Pokhylets
b189495518
Introduced isolated deinit as a SIL entity
2024-07-11 13:09:05 +02:00
swift-ci
a32c1896dc
Merge remote-tracking branch 'origin/main' into rebranch
2024-07-10 23:09:47 -07:00
Andrew Trick
12acde2215
Merge pull request #75096 from meg-gupta/lifetimedeparg
...
Add support for lifetime dependence in parameter position
2024-07-10 22:56:23 -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
Meghana Gupta
fecd2b452d
Don't mangle lifetime dependencies in older runtimes
2024-07-10 14:48:34 -07:00
Meghana Gupta
7d2ff43fe3
Update mangling to support lifetime dependence in parameter position
2024-07-10 14:20:03 -07:00
Slava Pestov
977b444eb3
AST: Add a new overload of getContextSubstitutionMap()
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
fae01d9776
AST: Remove ModuleDecl parameter from more places
2024-07-06 12:05:46 -04:00
swift-ci
9148779681
Merge remote-tracking branch 'origin/main' into rebranch
2024-07-04 00:15:21 -07:00
Doug Gregor
9604019c87
Drop typed throws from the mangling in closure and field reflection metadata
...
This follows what we just did for `@isolated(any)` function types.
Part of rdar://130858222.
2024-07-03 20:14:01 -07:00
swift-ci
f8b18eb54c
Merge remote-tracking branch 'origin/main' into rebranch
2024-07-02 23:54:09 -07:00
John McCall
80e23d377d
Merge pull request #74916 from rjmccall/strip-isolated-any-reflection-metadata
...
Suppress `@isolated(any)` in reflective metadata strings on old targets
2024-07-03 02:41:23 -04:00
John McCall
2c6e0efb9c
Suppress @isolated(any) in reflective metadata strings on old targets
...
Fix another aspect of rdar://129861211
2024-07-02 18:12:20 -04:00
swift-ci
2201e05fb8
Merge remote-tracking branch 'origin/main' into rebranch
2024-07-02 14:15:46 -07:00
Michael Gottesman
34195ff213
Merge pull request #74610 from gottesmm/pr-324fd70c13e87a329334341aae4667f2d1be152c
...
[sending] Remove transferring.
2024-07-02 14:02:18 -07:00
Ben Barham
b7954411ec
Merge remote-tracking branch 'origin/main' into manually-merge-main-to-rebranch
...
Conflicts:
- `include/swift/AST/PluginRegistry.h`
2024-06-27 14:56:11 -07:00
Akira Hatanaka
42bc49d3fe
Add a new parameter convention @in_cxx for non-trivial C++ classes that are passed indirectly and destructed by the caller ( #73019 )
...
This corresponds to the parameter-passing convention of the Itanium C++
ABI, in which the argument is passed indirectly and possibly modified,
but not destroyed, by the callee.
@in_cxx is handled the same way as @in in callers and @in_guaranteed in
callees. OwnershipModelEliminator emits the call to destroy_addr that is
needed to destroy the argument in the caller.
rdar://122707697
2024-06-27 09:44:04 -07:00
Michael Gottesman
112071e57d
[sending] Remove transferring.
...
Out of an abundance of caution, we:
1. Left in parsing support for transferring but internally made it rely on the
internals of sending.
2. Added a warning to tell people that transferring was going to
be removed very soon.
Now that we have given people some time, remove support for parsing
transferring.
rdar://130253724
2024-06-21 16:03:21 -07:00
Xi Ge
736ccef626
Merge remote-tracking branch 'apple/main' into rebranch
2024-06-20 15:16:55 -07:00
Tim Kientzle
1098054291
Merge branch 'main' into tbkka-assertions2
2024-06-18 17:52:00 -07:00
swift-ci
3187a295cd
Merge remote-tracking branch 'origin/main' into rebranch
2024-06-17 17:36:12 -07:00
Hamish Knight
ddd1bde60e
[Completion] Don’t generate USRs for local decls
...
Doing so can cause issues since we cannot guarantee
that e.g any parent closures have been type-checked.
rdar://128294522
2024-06-17 22:20:57 +01:00
swift-ci
b97b52f8ff
Merge remote-tracking branch 'origin/main' into rebranch
2024-06-13 22:55:26 -07:00
Slava Pestov
9793f77daa
AST: New mangling for expansion locations to avoid request cycles
...
Fixes rdar://127078338.
2024-06-13 17:45:30 -04:00
swift-ci
86259518bf
Merge remote-tracking branch 'origin/main' into rebranch
2024-06-12 01:59:24 -07:00
