Commit Graph

16 Commits

Author SHA1 Message Date
Andrew Trick
64a48d08e1 Update tests for strict @lifetime type checking 2025-03-19 11:59:04 -07:00
Meghana Gupta
e8abd59da5 Update tests 2024-11-18 18:09:19 -08:00
Daniel Rodríguez Troitiño
ba68faaed5 [test] Mark tests that use experimental/upcoming features as such
Find all the usages of `--enable-experimental-feature` or
`--enable-upcoming-feature` in the tests and replace some of the
`REQUIRES: asserts` to use `REQUIRES: swift-feature-Foo` instead, which
should correctly apply to depending on the asserts/noasserts mode of the
toolchain for each feature.

Remove some comments that talked about enabling asserts since they don't
apply anymore (but I might had miss some).

All this was done with an automated script, so some formatting weirdness
might happen, but I hope I fixed most of those.

There might be some tests that were `REQUIRES: asserts` that might run
in `noasserts` toolchains now. This will normally be because their
feature went from experimental to upcoming/base and the tests were not
updated.
2024-11-02 11:46:46 -07:00
Nate Chandler
b1fbe4ea91 [BitwiseCopyable] Remove underscore. 2024-04-25 11:44:15 -07:00
Nate Chandler
6e975da805 [BitwiseCopyable] Promote ConformanceSuppression.
The ability to suppress conformance to BitwiseCopyable was part of the
accepted SE-428.
2024-04-24 15:52:20 -07:00
Nate Chandler
ed5c7ef7ae [BitwiseCopyable] Promote to feature.
SE-0426 was accepted.
2024-04-24 15:52:20 -07:00
Nate Chandler
eb1f0ac68a [BitwiseCopyable] Suppress via ~.
In addition to the existing language mechanism of
`@available(*, unavailable)`.
2024-04-15 16:46:24 -07:00
Nate Chandler
8a35b07e83 [Test] Verify BC-ness of raw-value enums. 2024-03-05 07:10:32 -08:00
Nate Chandler
7886d9e20b [Test] Verify Float16 is BitwiseCopyable. 2024-03-05 07:10:13 -08:00
Nate Chandler
621d4c19b2 [stdlib] Suppress Unicode : _BitwiseCopyable.
Mark it always unavailable per LWG feedback.
2024-03-04 16:25:53 -08:00
Nate Chandler
4472178eca [stdlib] Suppress CommandLine : _BitwiseCopyable.
Mark it always unavailable per LWG feedback.
2024-03-04 16:17:06 -08:00
Nate Chandler
fefab495cb [stdlib] Suppress MemoryLayout : _BitwiseCopyable.
Mark it always unavailable per LWG feedback.
2024-03-04 16:04:12 -08:00
Nate Chandler
427d9cbcba [TypeLowering] Loosen assertion. 2024-02-14 09:57:43 -08:00
Nate Chandler
0bc38128d8 [BitwiseCopyable] Ban indirect enums and cases.
Enums which are entirely indirect or which have indirect cases are never
trivial and hence cannot conform to BitwiseCopyable.
2024-02-08 06:47:32 -08:00
Nate Chandler
d192a8330d [BitwiseCopyable] Remove existential conformance.
It makes sense to form an existential of a type that conforms to
`BitwiseCopyable` but such an existential is not itself trivial and
consequently not `BitwiseCopyable`.
2024-02-08 06:46:47 -08:00
Nate Chandler
81ae7463dd [BitwiseCopyable] Don't diagnose implicit checks.
Previously, the diagnostics for conforming a non-escaping or
non-copyable type to `_BitwiseCopyable` were emitted even in the case of
an implicit check for conformance.  Here this is fixed to suppress the
diagnostics in the case of an implicit check as is done for other
diagnostics.
2024-02-07 16:34:50 -08:00