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
Greg Titus
d87e049cde
Improve diagnoses of generic specializations
...
Always add constraints, find fixes during simplify.
New separate fix for allow generic function specialization.
Improve parse heuristic for isGenericTypeDisambiguatingToken.
Degrade concrete type specialization fix to warning for macros.
2024-07-30 18:51:34 -07:00
Holly Borla
2ea4586580
[Requirement Machine] Implement same-element requirements.
2024-07-15 10:19:32 -07:00
Pavel Yaskevich
cfb50a0aef
Merge pull request #75191 from xedin/inlinable-init-accessors
...
[AST/Sema] Make it possible to use init accessors in inlinable initializers
2024-07-15 09:16:30 -07:00
Hamish Knight
bfa3ad063d
[ASTPrinter] Print some as a keyword
...
This is consistent with how the TypeRepr is
printed.
2024-07-13 14:55:35 +01:00
Pavel Yaskevich
be3396821e
[AST] Print init accessors when they are ABI-public
...
Using init accessors from inlinable code requires `@usableFromInline`
annotation, which means that we need to print them in swift interfaces
and serialize them.
2024-07-12 09:54:08 -07:00
Allan Shortlidge
3453b136c3
AST: Don't print convenience on actor initializers.
...
Although actor initializers can be classified as convenience initializers by
the internals of the compiler, they are not written that way in source and
should not be printed with the `convenience` keyword.
Resolves rdar://130926278.
2024-07-11 11:47:19 -07: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
2cb7e8d7b8
Implemented suppressing isolated deinit for compatibility with older compiler versions
2024-07-11 13:09:08 +02: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
Meghana Gupta
2b28da6dd7
Update ASTPrinting of lifetime dependence
2024-07-10 14:48:34 -07:00
Meghana Gupta
8137aed238
Rename LifetimeDependentReturnTypeRepr -> LifetimeDependentTypeRepr
2024-07-10 14:20:03 -07:00
Michael Gottesman
63146bcbcd
[sending] Change suppression to use __owned instead of consuming.
...
The reason why I am doing this is that consuming could cause no implicit
copy errors. Instead __owned will just potentially cause an error if
someone assigns into sending.
rdar://131066640
2024-07-10 12:43:33 -07:00
Allan Shortlidge
45f3e94b46
AST: Promote AssociatedTypeImplements feature to baseline.
2024-07-09 14:28:30 -07:00
Allan Shortlidge
b71e73d04c
AST: Promote RetroactiveAttribute feature to baseline.
2024-07-09 14:28:29 -07:00
Allan Shortlidge
e7ae787516
AST: Promote ConformanceSuppression feature to baseline.
2024-07-09 14:28:29 -07:00
Allan Shortlidge
b85da32707
AST: Promote OptionalIsolatedParameters feature to baseline.
2024-07-09 14:28:29 -07:00
Allan Shortlidge
8093783e21
AST: Promote ExtensionMacroAttr feature to baseline.
2024-07-09 14:28:29 -07:00