Meghana Gupta
2b011b0a3a
[NFC] Rename/reorg LifetimeDependence utils
2024-09-09 22:02:44 -07:00
swift-ci
290cda09b1
Merge remote-tracking branch 'origin/main' into rebranch
2024-09-09 09:15:25 -07:00
Doug Gregor
c0fea1f224
Disable printing of #ifs from the AST
...
The option to print #ifs defaulted to "on", but was disabled in most of
the actual compiler inputs that mattered, and the results weren't ever
actually used. Remove the option so we never print #ifs.
2024-09-08 09:52:37 -07:00
Tony Allevato
aebe2ab309
Fix missing operators in synthesized == impls printed by -print-ast.
...
`visitBinaryExpr` wasn't handling `UnresolvedDeclRefExpr` nodes, which the
synthesized `==` implementation uses to compare fields/payloads. Also fixed
the test that wasn't catching it since it also left out the operators.
2024-09-07 20:13:13 -04:00
swift-ci
99519cb291
Merge remote-tracking branch 'origin/main' into rebranch
2024-09-05 22:53:33 -07:00
Allan Shortlidge
a770371a80
ModuleInterface: Print patterns with opaque result types using some keyword.
...
Previously, the opaque types in patterns were printed using their full stable
reference which cannot be resolved when parsing a swiftinterface.
Resolves rdar://127771885.
2024-09-05 16:08:42 -07:00
Allan Shortlidge
2788c1dac1
AST: Introduce PrintWithOpaqueResultTypeKeywordRAII utility.
2024-09-05 16:08:42 -07:00
swift-ci
da55e84c74
Merge remote-tracking branch 'origin/main' into rebranch
2024-09-05 15:35:33 -07:00
Alejandro Alonso
19fc174f30
Don't create fake GTPDs for SIL generic signatures
2024-09-04 15:13:47 -07:00
Alejandro Alonso
e0f2b812e8
Add serialization and parser tests for SIL
2024-09-04 15:13:47 -07:00
Slava Pestov
1ff1b9479a
AST: Pick off some usages of GenericTypeParamType::getDecl()
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
0df42e9841
Lower UDRE to TypeValue if it references a value generic
2024-09-04 15:13:29 -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
a3c0e225a7
Merge pull request #76238 from slavapestov/existential-signature-rework-part-3
...
Allow type variables to appear inside opened existential archetypes
2024-09-04 14:53:18 -04:00
swift-ci
3693ed74c4
Merge remote-tracking branch 'origin/main' into rebranch
2024-09-04 07:56:21 -07:00
Doug Gregor
601a5c3c0c
Merge pull request #76187 from DougGregor/extract-inlinable-text-swift-syntax
...
Implement extractInlinableText with swift-syntax
2024-09-04 07:53:40 -07:00
Slava Pestov
1778a9f595
AST: Print opened existential substitutions in ASTPrinter/ASTDumper
2024-09-04 10:42:18 -04: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
Doug Gregor
a73711ef4b
Implement extractInlinableText with swift-syntax
...
Replace the existing C++ implementation of extractInlinableText with
a new implementation based on swift-syntax. It uses SwiftIfConfig to
remove inactive regions (with a special mode), and a new compiler-only
entrypoint in the library to remove comments and `#sourceLocation`.
2024-08-30 16:43:41 -07:00
swift-ci
f624072420
Merge remote-tracking branch 'origin/main' into rebranch
2024-08-29 03:33:30 -07: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
Hamish Knight
1cb0f8fdd5
[AST] Rename isPrivateStdlibDecl -> isPrivateSystemDecl
...
This better reflects what we're actually checking
here.
2024-08-28 18:31:51 +01:00
swift-ci
1450e0889d
Merge remote-tracking branch 'origin/main' into rebranch
2024-08-20 19:16:30 -07:00
swift-ci
b08f7a1307
Merge remote-tracking branch 'origin/main' into rebranch
2024-08-20 13:58:19 -07:00
Slava Pestov
5577f27661
AST: Opened existential environments store outer substitutions
2024-08-20 16:54:51 -04:00
Slava Pestov
b434c9fb56
Merge pull request #75984 from slavapestov/clean-up-opened-archetype
...
Clean up OpenedArchetypeType construction and more
2024-08-20 16:52:55 -04:00
Slava Pestov
50ab7f52a2
AST: Remove more usages of ArchetypeType::getRoot()
2024-08-20 11:51:31 -04:00
swift-ci
5a20ae5fce
Merge remote-tracking branch 'origin/main' into rebranch
2024-08-20 06:35:14 -07:00
Doug Gregor
cccf6c1114
Introduce @unsafe and the ability to prohibit use of unsafe declarations
...
Allow any declaration to be marked with `@unsafe`, meaning that it
involves unsafe code. This also extends to C declarations marked with
the `swift_attr("unsafe")` attribute.
Under a separate experimental flag (`DisallowUnsafe`), diagnose any
attempt to use an `@unsafe` declaration or any unsafe language feature
(such as `unowned(unsafe)`, `@unchecked Sendable`). This begins to
define a "safe" mode in Swift that prohibits memory-unsafe constructs.
2024-08-19 14:33:07 -07:00
swift-ci
a5ec343a08
Merge remote-tracking branch 'origin/main' into rebranch
2024-08-17 06:14:34 -07:00
Slava Pestov
0e853a358e
Merge pull request #75935 from slavapestov/remove-transform
...
AST: Replace remaining uses of Type::transform() with transformRec()
2024-08-17 09:11:52 -04: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
swift-ci
f445b8e95a
Merge remote-tracking branch 'origin/main' into rebranch
2024-08-12 18:17:04 -07:00
Alex Hoppen
bdc6fc60d2
Merge pull request #75666 from ahoppen/share-is-static
...
[IDE] Call into `matchWitnessStructure` to check if we should inherit a comment from an overridden declaration
2024-08-12 18:02:56 -07:00
Slava Pestov
b601c294ac
AST: Replace remaining uses of Type::transform() with transformRec()
2024-08-12 16:05:43 -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
Alex Hoppen
3ed457ab3b
[Sema] Move getDocCommentProvidingDecl and getCascadingDocComment from AST to Sema
...
This allows use to re-use logic from Sema in those requests.
This commit just moves functions around and does not change any functionality.
2024-08-09 11:38:26 -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
402a7d60fa
Merge remote-tracking branch 'origin/main' into rebranch
2024-08-02 11:37:06 -07:00
Allan Shortlidge
403156b088
Revert "AST: Don't print convenience on actor initializers."
...
This reverts commit 3453b136c3
2024-08-02 07:50:51 -07:00
Ben Barham
3a4c1b8d51
Merge pull request #75633 from bnbarham/final-rebranch-pass
...
Changes to compile on macOS for stable/20240723 LLVM
2024-08-01 16:28:51 -07:00
Ben Barham
5b2d9e96b3
[AST] Rename getOriginalNamespace to getFirstDecl
...
`getOriginalNamespace` was removed in LLVM upstream in
e6ec7c8f74d1be778f4ddf794d0e2fb63b0dc3be. Use `getFirstDecl` instead.
2024-07-31 08:55:41 -07:00
