averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity
184,374 Commits 623 Branches 2,949 Tags
jgrynspan/windows-GUID-hashable-6.2
Commit Graph

7628 Commits

Author SHA1 Message Date
Doug Gregor
28e1c304cf Allow declaration recovery to consume attributes. 
Fixes https://github.com/apple/swift/issues/60702 / rdar://98967894
 2022-08-22 21:45:25 -07:00
Allan Shortlidge
b5066bbcaf Sema: Check the availability of property wrappers attached to VarDecls in named patterns. 
The availability of property wrappers was previously checked for typed patterns but not named patterns.

Resolves rdar://86698223.
 2022-08-22 16:51:27 -07:00
Holly Borla
34d962461f Merge pull request #60671 from hborla/invalid-existential-access 
[Diagnostics] Improve diagnostics for invalid type access on existential types.
 2022-08-22 19:39:50 -04:00
Karoy Lorentey
ffab0c541f [test] UnicodeScalarProperties: Disable when Unicode data files aren’t available 
To reenable, the test needs to be configured to upload these files to the remote machine that executes the tests.
 2022-08-22 14:16:12 -07:00
Holly Borla
cd7bc86bb1 [Test] Update error message in validation test. 2022-08-22 17:07:25 -04:00
Pavel Yaskevich
ebc2396953 Merge pull request #60654 from xedin/issue-60649 
[CSSimplify] Failure to bind type variable to invalid dependent membe…
 2022-08-22 11:00:28 -07:00
Eric Miotto
c954130be0 Add a flag to infer appropriate cross compile hosts on Darwin 
Addresses rdar://98787335, apple#60348
 2022-08-22 09:37:52 -07:00
Pavel Yaskevich
4d039686fd [CSSimplify] Failure to bind type variable to invalid dependent member makes it a hole 
If the failure is not reflected in constraint system it would let
the solver to form a _valid_ solution as if the constraint between
the type variable and the unresolved dependent member type never
existed.

Resolves: https://github.com/apple/swift/issues/60649
 2022-08-19 11:39:40 -07:00
Nate Chandler
d744af576f [Test] Disabled test to investigate. 
The test validation-test/SILOptimizer/hoist_destroy_addr.sil is failing
to parse with invalid SIL.  The input will need to be updated.

rdar://98890125
 2022-08-19 10:52:59 -07:00
Pavel Yaskevich
10bd9433ef [TypeChecker] NFC: Adjust test-case for rdar://98577451 
Replace `-target` with `-disable-availability-checking`
and drop `REQUIRES:` lines that limit test to macOS.
 2022-08-16 13:18:29 -07:00
Pavel Yaskevich
b02e16de07 Merge pull request #60568 from xedin/rdar-98577451 
[CSApply] Attempt value-to-opaque-result abstraction only after canon…
 2022-08-16 09:47:42 -07:00
Pavel Yaskevich
b4949a0b2c [CSApply] Attempt value-to-opaque-result abstraction only after canonicalization 
`ExprRewriter::coerceToType` should canonicalize contextual type before
attempting to use it for value abstraction, because sugared type could
have typealias references that hide their underlying opaque result types.

Resolves: rdar://98577451
 2022-08-15 21:30:17 -07:00
Mishal Shah
91b2abe996 Merge pull request #60531 from apple/pull-request-rebranch 
Merge `rebranch` into  `main` to support llvm-project `stable/20220421`
 2022-08-15 17:10:56 -07:00
Slava Pestov
7d8f3e6b63 AST: Change return type of Requirement::subst() to Requirement 
Instead of returning None, let callers check hasError() if they need to.

Fixes rdar://problem/98565072.
 2022-08-12 14:03:57 -04:00
swift-ci
15ca62f550 Merge remote-tracking branch 'origin/main' into rebranch 2022-08-05 09:39:03 -07:00
Pavel Yaskevich
a803cb50fa Merge pull request #60384 from xedin/rdar-94506352-aux-vars 
[CSClosure] Add support for projected/wrapper values
 2022-08-05 09:19:08 -07:00
swift-ci
d81ba4efc7 Merge remote-tracking branch 'origin/main' into rebranch 2022-08-05 05:33:06 -07:00
Ehud Adler
f11e2afe07 [cxx-interop] Always import cxx shim when cxx-interop is enabled (#60336) 2022-08-05 08:28:47 -04:00
Pavel Yaskevich
0989f43bb1 [CSClosure] Add support for projected/wrapper values 
To support referencing projected and/or wrapped var
in a closure solver needs to lookup a type of their
originator and based on the wrapper type compute and
assign types to projection and/or wrapper.

Resolves: https://github.com/apple/swift/issues/59295
Resolves: rdar://94506352
 2022-08-04 16:55:02 -07:00
Ben Barham
22d62bb4e0 Merge remote-tracking branch 'origin/main' into rebranch 
Trivial conflict caused by the line above the
`IGM.constructInitialFnAttributes` change in `lib/IRGen/GenDecl.cpp`
having an extra argument passed in rebranch (due to the new LLVM API).
 2022-08-03 19:12:06 -07:00
Guillaume Lessard
57bee9c861 [test] load a value of the 128-bit floating point type 2022-08-01 15:16:22 -06:00
Guillaume Lessard
a9a740d24c [test] modify to be compatible with minimal stdlib 
- validate that unaligned loads work for types with large alignments
- in the minimal stdlib, only `Builtin` types can be used for this
 2022-07-29 12:31:16 -06:00
swift-ci
f7e4935a7f Merge remote-tracking branch 'origin/main' into rebranch 2022-07-20 05:37:11 -07:00
Alex Hoppen
57d504cbcd Merge pull request #60062 from ahoppen/pr/placeholder-for-errors 
[CS] Don’t fail constraint generation for ErrorExpr or if type fails to resolve
 2022-07-20 14:15:43 +02:00
Alex Hoppen
e14fa7291f [CS] Don’t fail constraint generation for ErrorExpr or if type fails to resolve 
Instead of failing constraint generation by returning `nullptr` for an `ErrorExpr` or returning a null type when a type fails to be resolved, return a fresh type variable. This allows the constraint solver to continue further and produce more meaningful diagnostics.

Most importantly, it allows us to produce a solution where previously constraint generation for a syntactic element had failed, which is required to type check multi-statement closures in result builders inside the constraint system.
 2022-07-20 09:46:12 +02:00
swift-ci
f2afdacae4 Merge remote-tracking branch 'origin/main' into rebranch 2022-07-18 11:53:32 -07:00
nate-chandler
1e30ea9bff Merge pull request #60073 from nate-chandler/rdar81704151 
[Test] Reenabled two tests.
 2022-07-18 11:52:17 -07:00
Nate Chandler
674fc2c33a [Test] Reenabled two tests. 
They should have been reenabled earlier.

rdar://81704151
 2022-07-15 13:47:24 -07:00
swift-ci
3562f25346 Merge remote-tracking branch 'origin/main' into rebranch 2022-07-14 13:34:16 -07:00
Guillaume Lessard
93083f595d Merge pull request #60061 from glessard/rdar96841889-minimalstdlib 
[test] move test to a file requiring the full standard library
 2022-07-14 14:33:37 -06:00
swift-ci
df237c0dc3 Merge remote-tracking branch 'origin/main' into rebranch 2022-07-14 13:15:05 -07:00
Alex Hoppen
393626f3b6 Merge pull request #59997 from ahoppen/pr/empty-locator-has-no-preconcurrency 
[CS] Remove assertion that callee locator has an anchor
 2022-07-14 22:02:11 +02:00
Guillaume Lessard
480361b360 [test] move test to a file requiring the full stdlib 
- SIMD types are not available in the minimal stdlib
 2022-07-14 13:52:21 -06:00
Alex Hoppen
ae53e8a048 [CS] Remove assertion that callee locator has an anchor 
When computing type relations of code completion items with respect to the context they are used in, we add a `ConstraintKind::Conversion` constraint with an empty constraint locator. This currently crashes in `hasPreconcurrencyCallee`, but actually having a null anchor doesn’t produce any issues.
 2022-07-14 15:45:38 +02:00
swift-ci
a3f161112b Merge remote-tracking branch 'origin/main' into rebranch 2022-07-12 05:14:46 -07:00
Anthony Latsis
d74384cfcf Merge pull request #59931 from AnthonyLatsis/close-issues-3 
Add regression tests to close several issues p. 3
 2022-07-12 15:11:52 +03:00
swift-ci
2487c19575 Merge remote-tracking branch 'origin/main' into rebranch 2022-07-11 20:34:04 -07:00
nate-chandler
20b99f3a94 Merge pull request #60009 from nate-chandler/rdar96194366 
[IRGen] Look through opaque types for protocol witness table lazy access function.
 2022-07-11 20:19:42 -07:00
Nate Chandler
f454717c6e [IRGen] Look through opaque types for protocol witness table lazy access function. 
When determining the linkage of protocol witness table lazy access
functions and their cache variables, look through opaque types to find
the underlying decls.

rdar://96194366
 2022-07-11 15:21:38 -07:00
swift-ci
80161c6d49 Merge remote-tracking branch 'origin/main' into rebranch 2022-07-11 11:53:51 -07:00
David Smith
bcfa805635 Zero trailing bytes of SmallStrings more efficiently (#59823) 2022-07-11 11:46:15 -07:00
Anthony Latsis
58a9778136 Add fixed crasher to close #43442 2022-07-09 16:47:55 +03:00
Anthony Latsis
a82d6f9272 Add type-checker regression scale test to close #43386 2022-07-09 16:47:51 +03:00
Anthony Latsis
7c73047bf2 Add x-failed scale test for type-checking nil-coalescing dictionary values 2022-07-09 16:46:02 +03:00
Anthony Latsis
a359f7745c Add type-checker performance tracking test for #43369 
To make this test work, fix an issue in `ConstraintSystem::salvage` where a
threshold breach during solving went unnoticed due to exiting on ambiguity
before reaching the `isTooComplex` check. Address this by moving the
`isTooComplex` check to before we start processing solutions, and stick another
one in `findBestSolution` for short-circuiting while we're here.
 2022-07-09 16:34:19 +03:00
swift-ci
eec184df23 Merge remote-tracking branch 'origin/main' into rebranch 2022-07-07 02:14:43 -07:00
Yuta Saito
687dca9d60 [Threading][test] disable threaded lit tests under threading_none 2022-07-07 01:57:38 +00:00
swift-ci
a1eedad6f5 Merge remote-tracking branch 'origin/main' into rebranch 2022-07-01 06:17:34 -07:00
Alex Hoppen
7245f5810c Merge pull request #58890 from ahoppen/pr/add-more-fixed-test-cases 
[CodeCompletion] Add test cases that were fixed and had reduced reproducers
 2022-07-01 15:09:35 +02:00
swift-ci
29d3906676 Merge remote-tracking branch 'origin/main' into rebranch 2022-06-29 00:33:40 -07:00