Skip to content

Infer the types of function/closure arguments when captured by an exit test. #1130

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 3 commits into
base: main
Choose a base branch
from

Conversation

grynspan
Copy link
Contributor

@grynspan grynspan commented May 25, 2025

This PR adds the ability to infer the type of a parameter of a function or closure that encloses an exit test. For example, x here:

func f(x: Int) async {
  await #expect(processExitsWith: .failure) { [x] in
    ...
  }
}

This inference still fails if a parameter is shadowed by a variable with an incompatible type; we still need something like decltype() to solve for such cases. Still, being able to capture @Test function arguments with minimal ceremony is helpful:

@Test(arguments: 0 ..< 100) func f(i: Int) async {
  await #expect(exitsWith: .failure) { [i] in
    ...
  }
}

Also type inference for literals because "why not?"

Note

Exit test value capture remains an experimental feature.

Checklist:

  • Code and documentation should follow the style of the Style Guide.
  • If public symbols are renamed or modified, DocC references should be updated.

…t test.

This PR adds the ability to infer the type of a parameter of a function or closure that encloses an exit test. For example, `x` here:

```swift
func f(x: Int) async {
  await #expect(processExitsWith: .failure) { [x] in
    ...
  }
}
```

This inference still fails if a parameter is shadowed by a variable with an incompatible type; we still need something like `decltype()` to solve for such cases. Still, being able to capture `@Test` function arguments with minimal ceremony is helpful:

```swift
@test(arguments: 0 ..< 100) func f(i: Int) async {
  await #expect(exitsWith: .failure) { [i] in
    ...
  }
}
```
@grynspan grynspan added this to the Swift 6.x milestone May 25, 2025
@grynspan grynspan self-assigned this May 25, 2025
@grynspan grynspan added enhancement New feature or request exit-tests ☠️ Work related to exit tests parameterized-testing Related to parameterized testing functionality labels May 25, 2025
@grynspan
Copy link
Contributor Author

@swift-ci test

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request exit-tests ☠️ Work related to exit tests parameterized-testing Related to parameterized testing functionality
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant