Doug Gregor

Demonstrate the effect of the Swift Concurrency translation on Objective-C APIs.

[Macros] Only freestanding expression macros can have a non-Void result type

1

Fixes rdar://108871352.

Requestify `AbstractStorageDecl::hasStorage()`.

1

The `hasStorage()` computation is used in many places to determine the signatures of other declarations. It currently needs to expand accessor macros, which causes a number of cyclic references. Provide...

Parse types with inverted constraints in expressions

1

Lookahead to determine when we are parsing a type within an expression context was failing to consider inverted constraints. Make sure we look past the `~` to an identifier.

Fix-its for misplaced typed throws could be improved

5

### Issue Kind Bad Diagnostic Produced ### Source Code ```swift func foo() -> throws(MyError) Int {} ``` ### Description Applying the Fix-It for the parser diagnostics here produces malformed code,...

GroupedDiagnostics does not handle notes on diagnostics

2

### Description The `GroupedDiagnostics` formatter takes an array of `Diagnostic`s that it formats into a buffer. However, it only handles the top-level diagnostic messages, not any [attached notes](https://github.com/apple/swift-syntax/blob/main/Sources/SwiftDiagnostics/Diagnostic.swift#L30C3-L31C1)---which also have...

SwiftIfConfig: A library to evaluate `#if` conditionals within a Swift syntax tree.

4

Swift provides the ability to conditionally compile parts of a source file based on various built-time conditions, including information about the target (operating system, processor architecture, environment), information about the...

Diagnostic formatter doesn't account for grapheme length in its column annotations

4

### Description Given this code: ```swift for (i = 🐮; i != 👩‍👩‍👦‍👦; i += 1) { x x } ``` The diagnostic formatter produces this: ``` 1 │ for...

Historical `where` clause within angle brackets causes

1

### Issue Kind Bad Diagnostic Produced ### Source Code ```swift func genFn(_: T) -> Int {} ``` ### Description We get these diagnostics: ``` 1:21: Expected '>' to end generic...