Holly Borla
a3ac8ec28f
[Test] Remove overload of count(where:) from type checker performance test now
...
that it's in the standard library.
2024-04-02 08:33:05 -07:00
Holly Borla
8834861218
[ConstraintSystem] Order VarDecls before other kinds of decls in disjunctions.
2024-04-01 17:19:53 -07:00
Nate Cook
38e1370884
Revert "Revert count(where:)" ( #70816 )
...
* Revert "Revert count(where:)"
This reverts commit 779ea19a6a .
Now that SE-0220 has been re-accepted, this adds the `count(where:)`
Sequence method to the standard library.
2024-03-29 13:53:53 -05:00
Eric Miotto
efdd4954d3
build-script: add flag to pass arguments to dsymutil
...
This is currently needed to disable DWARF verification in
some Apple internal configurations.
Addresses rdar://125092216
2024-03-22 08:04:31 -07:00
Guillaume Lessard
bd77f106c7
Merge pull request #72443 from Azoy/58-to-59
...
[test] Change availability guarding test in StringGraphemeBreaking.swift
2024-03-19 20:56:08 -07:00
Alejandro Alonso
4aa7a8bd3f
Change availability guarding test
2024-03-19 15:42:42 -07:00
Doug Gregor
922e3daaea
Remove build infrastructure for globally enabling noncopyable types
...
Now that the compilation model of noncopyable types is enabled everywhere,
and one can enable the feature for specific modules, we no longer need a
separate build-script/CMake option to enable it globally. Remove it all.
2024-03-19 13:35:31 -07:00
Karoy Lorentey
9725b892cc
[test] More test updates
2024-03-18 13:27:46 -07:00
Kavon Farvardin
ca25edb848
XFAIL parse_stdlib.sil temporarily
2024-03-14 23:10:44 -07:00
Kavon Farvardin
bb51be731e
Test: update for NoncopyableGenerics infra.
2024-03-14 23:10:44 -07:00
Kavon Farvardin
53fb8c3570
XFAIL test for minor issue
...
This test is failing to verify the generic signature for this bogus
program, because the generic signature isn't minimal. We should
gracefully handle this situation and still have a minimal signature,
despite rejecting this program.
2024-03-14 23:10:44 -07:00
Allan Shortlidge
841847b009
Revert "[Regex] Really build _RegexParser without resilience."
...
This reverts commit 8d1b578275 .
Resolves rdar://124541877
2024-03-13 16:25:21 -07:00
Tim Kientzle
7ac7d55180
Merge pull request #72290 from tbkka/tbkka-rdar123727657
...
Fix enum inspection of a no-payload enum inside another enum
2024-03-13 16:09:32 -07:00
Alexis Laferrière
11d7d53634
Merge pull request #72295 from xymus/xfail-arm64e
...
Tests: disable some tests on arm64e
2024-03-13 10:36:07 -07:00
Alexis Laferrière
f1352f0919
tests: disable stdlib/StringGraphemeBreaking.swift on arm64e
2024-03-13 10:34:52 -07:00
Tim Kientzle
35a98aad20
Fix enum inspection of a no-payload enum inside another enum
...
When a no-payload enum is stored inside a multi-payload enum,
the outer enum may be using some of the extra high-order bits.
So when we examine the inner enum, we should just strip those bits.
2024-03-13 09:14:37 -07:00
Arnold Schwaighofer
315a763c28
Merge pull request #72218 from aschwaighofer/fragile_resilient_protocols
...
IRGen: Add code to support building fragile resilient protocol witnesses
2024-03-13 08:40:44 -07:00
nate-chandler
d80854ea3b
Merge pull request #72256 from nate-chandler/gh70234
...
[ConsumeChecker] Check guaranteed arguments.
2024-03-12 14:04:34 -07:00
Nate Chandler
863c919713
[Test] Add regression test.
...
For https://github.com/apple/swift/issues/70234 .
2024-03-12 08:33:16 -07:00
Nate Chandler
d8a9c428b0
[Test] Add regression test.
...
For https://github.com/apple/swift/issues/72055 .
2024-03-11 21:08:16 -07:00
Arnold Schwaighofer
ea70aea43c
IRGen: Add code to support building fragile resilient protocol witnesses
...
We don't currently support building resilient relative protocol witness tables.
One might want to build with relative witness tables but not need
resilient protocols. Allow for that scenario.
Add a test configuration to test library-evolution + fragile resilient
protocols + relative protocol witness tables.
2024-03-10 09:14:08 -07:00
Slava Pestov
5afdb987e2
Merge pull request #72146 from slavapestov/ncgenerics-fixes-9
...
Non-copyable generics fixes, part 9
2024-03-07 22:14:33 -05:00
Slava Pestov
123045f825
Merge pull request #71780 from slavapestov/remove-non-experimental-assoc-type-inference
...
Remove old associated type inference implementation
2024-03-07 22:14:06 -05:00
Meghana Gupta
e96642c219
Merge pull request #72106 from meg-gupta/lifetimedepdiag
...
Loosen some lifetime dependence diagnostics
2024-03-07 16:32:13 -08:00
Slava Pestov
af8c8f1671
Sema: Remove non-experimental associated type inference
2024-03-07 17:30:17 -05:00
Slava Pestov
41df661160
AST: Use a builtin conformance for unconditional Copyable/Escapable
...
This generalizes what we were already doing for classes.
2024-03-07 15:07:47 -05:00
Meghana Gupta
f3a85b118f
Add build-script option and lit config for nonescapable_types
...
With this build-script has a flag --enable-experimental-nonescpable-types=1
to enable this feature in stdlib.
Also we can now add // REQUIRES: nonescapable_types to tests which run only when
the compiler is built with this feature turned on.
2024-03-06 21:57:03 -08:00
Slava Pestov
3662bb2a28
Remove REQUIRES: asserts from fixed crashers
2024-03-06 21:38:28 -05:00
cui fliter
127077b3aa
chore: fix some comments
...
Signed-off-by: cui fliter <imcusg@gmail.com >
2024-03-05 17:23:22 +08:00
Nate Chandler
0075682b4d
[IRGen] Single payload enums consumes call deinits
...
The include the necessary metadata.
2024-03-01 21:01:50 -08:00
Nate Chandler
ae9d501d77
[Test] Mix in another experimental feature.
2024-03-01 21:01:49 -08:00
Holly Borla
9ba481ad53
[Diagnostics] Clarify the wording of error_in_future_swift_version.
2024-03-01 12:05:51 -08:00
Kuba (Brecka) Mracek
ecbe758d2e
Merge pull request #71986 from kubamracek/dont-strip-builtins
...
[build-script] Avoid stripping clang builtin .a libraries when extracting dSYMs on Darwin
2024-03-01 06:43:48 -08:00
Slava Pestov
064c8c5bf7
Merge pull request #71995 from slavapestov/ncgenerics-fixes-6
...
Non-copyable generics fixes
2024-03-01 07:34:00 -05:00
John McCall
237dd4faab
Merge pull request #71970 from rjmccall/isolated-any-availability
...
Fix metadata availability testing for parameterized existentials and implement it for @isolated(any) function types
2024-03-01 04:11:22 -05:00
John McCall
0f076c0702
Fix metadata availability testing for parameterized existentials
...
and implement it for @isolated(any) function types.
The existing testing was pretty broken: we were diagnosing all sorts
of things that don't require type metadata (like using a tuple with
an extended existential in a value position in an API signature)
and not diagnosing several things that do (like covariant function
conversions that erase types). There's therefore some risk to this
patch, but I'm not too worried because needing metadata like this is
pretty uncommon, and it's likely that programs won't build correctly
anyway --- it'll just get caught by the linker instead of the compiler.
2024-02-29 22:14:49 -05:00
Slava Pestov
2f4ed5a949
Sema: Clean up diagnoseMissingOwnership()
...
- Pass down the TypeResolution instance so we can get the generic
signature. This ensures we always use the correct signature in
SIL mode.
- Don't diagnose if the type contains error types.
2024-02-29 18:13:28 -05:00
Kuba Mracek
0f2cbbf955
Adjust expectations on xargs parameters in validation-test/BuildSystem/dsymutil_jobs.test
2024-02-29 13:53:56 -08:00
Slava Pestov
d3aa3a8db9
Adjust XFAILs
2024-02-29 13:55:48 -05:00
Nate Chandler
6100a1b495
Allow partial consumption of self in deinit.
...
Basic support for partial consumption in deinit without full support for
all future uses of drop_deinit.
2024-02-28 15:57:09 -08:00
Slava Pestov
40cbdd35bc
Merge pull request #71905 from slavapestov/fix-rdar123543175
...
AST: Fix crash with circular raw value
2024-02-27 06:55:10 -05:00
Slava Pestov
f2bd764381
AST: Fix crash with circular raw value
...
Fixes rdar://problem/123543175.
2024-02-26 19:56:19 -05:00
Alex Hoppen
0b580f7155
Merge pull request #71587 from ahoppen/ahoppen/nested-call-completion
...
[CodeCompletion] Always suggest call pattern for nested function calls
2024-02-26 09:14:15 -08:00
Doug Gregor
0c9c734f7e
Merge pull request #71722 from DougGregor/diagnostic-style-swift-default
2024-02-24 14:42:38 -10:00
Pavel Yaskevich
4548b2a861
Merge pull request #71817 from xedin/rdar-122598934
...
[ConstraintSystem] Account for situations when witness for associated…
2024-02-23 09:20:26 -08:00
Pavel Yaskevich
239bfacee3
[ConstraintSystem] Account for situations when witness for associated type is null
...
In some circularity cases `getAssociatedType` would produce a `Type()`,
we need to account for that in `TypeSimplifier` to avoid crashing.
2024-02-22 10:55:33 -08:00
Alex Hoppen
17520dcf6d
[CodeCompletion] Always suggest call pattern for nested function calls
...
When completing in cases like `bar(arg: foo(|, option: 1)`, we don’t know if `option` belongs to the call to `foo` or `bar`. Be defensive and also suggest the signature.
2024-02-21 18:53:07 -08:00
Mishal Shah
b8cd763b21
Merge branch 'main' into bump-swift-version-to-6
2024-02-21 12:40:54 -08:00
Pavel Yaskevich
4aa8fe308b
Merge pull request #71756 from xedin/pr-71701-nil-in-init
...
[CSSimplify] Adjust `isBindable` to reject binding if it's directly t…
2024-02-21 09:28:01 -08:00
Mishal Shah
b488702cc9
Merge remote-tracking branch 'origin/main' into bump-swift-version-to-6
2024-02-20 21:04:47 -08:00