Commit Graph

7628 Commits

Author SHA1 Message Date
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