swiftlang/swift

Pull Requests Commits

[move-function] Add more var tests around reinit diagnostics.

gottesmm committed 3 years ago

17c1927b

[move-function] Add tests around var uniqueness properties of move.

gottesmm committed 3 years ago

1533102e

[move-function] Add support for properly checking let x: Int without an initial value.

gottesmm committed 3 years ago

37955894

[move-function] Convert an assert into an early exit.

gottesmm committed 3 years ago

2f5ee162

[move-function] Move diagnostics in front of the flag.

gottesmm committed 3 years ago

6f8f2ec3

[move-function] When processing object lets only look through non-lexical borrows.

gottesmm committed 3 years ago

d59b2ea9

[move-function] Add support for loadable vars.

gottesmm committed 3 years ago

20e780cb

[move-function] Make MandatoryInlining always convert builtin.move -> mark_unresolved_move_addr.

gottesmm committed 3 years ago

3fe5e038

Merge pull request #40507 from xedin/se-0326-non-void-result-diag-5.6

xedin committed 3 years ago

Verified e90da06e

[SourceKit] Adjust no-crash-reopen-without-compiler-args.swift test case to pass on Windows

ahoppen committed 3 years ago

9404c957

Merge pull request #40505 from hborla/5.6-existential-any

hborla committed 3 years ago

Verified ba366e82

Merge pull request #40497 from ahoppen/pr-5.6/enqueue-consumer-on-background-queue

akyrtzi committed 3 years ago

Verified cde15b85

Merge pull request #40496 from ahoppen/pr-5.6/revert-no-semantic-info-if-not-requested

akyrtzi committed 3 years ago

Verified da898071

[Test] Duplicate test/TypeDecoder/existentials.swift with explicit

hborla committed 3 years ago

8e28817a

[ASTPrinter] Print 'any' for existential metatypes when explicit

hborla committed 3 years ago

323b28cd

[TypeResolver] Don't use ExistentialType for Any and AnyObject for

hborla committed 3 years ago

c1421944

[ASTDemangler] Reconstruct protocol composition types with ExistentialType

hborla committed 3 years ago

f6b58cc4

[Test] Start to add tests for explicit existential types.

hborla committed 3 years ago

1e65a3dc

[Parse] Parse 'any' as a contextual keyword.

hborla committed 3 years ago

b489450e

[Sema] Require existential types with Self or associated type

hborla committed 3 years ago

4fafee73

[NFC][Sema] Rename checkUnsupportedProtocolType to checkExistentialTypes.

hborla committed 3 years ago

ac5dc85e

[Sema] Rename existentialTypeSupported to existentialRequiresAny, and

hborla committed 3 years ago

6d00a245

[Serialization] Bump the module format version for existential `any`

hborla committed 3 years ago

b58c3247

Revert "[NFC, Typechecker] Remove UnsupportedProtocolVisitor and checkUnsupportedProtocolType()"

hborla committed 3 years ago

922b2068

Revert "NFC: Remove the now dead ProtocolDecl::existentialTypeSupported()"

hborla committed 3 years ago

bbbb1311

[TypeResolver] Resolve existential types to ExistentialType when

hborla committed 3 years ago

f4dabf95

[Type System] Introduce a dedicated type to represent existential types.

hborla committed 3 years ago

7bd3e83d

[AST] Introduce ExistentialTypeRepr, which is the type repr for an

hborla committed 3 years ago

85313614

[FrontendOptions] Add a frontend flag -enable-explicit-existential-types

hborla committed 3 years ago

c75a1ec9

Merge pull request #40490 from etcwilde/ewilde/concurrency/unavailablefromasync-messages

DougGregor committed 3 years ago

Verified 53423c01

Newer Older