Skip to content

Conversation

@xedin
Copy link

@xedin xedin commented Dec 17, 2025

…nums` test-case

let _: String? = log("") where log is <T>(_: T) -> T should should have T bound to String and result injected into an optional instead of injecting the literal argument.

This is paired with swiftlang/swift#86096 which changes the inference behavior here.

…nums` test-case

`let _: String? = log("")`  where `log` is `<T>(_: T) -> T` should
should have `T` bound to `String` and result injected into an optional
instead of injecting the literal argument.

This is paired with swiftlang/swift#86096
which changes the inference behavior here.
@xedin
Copy link
Author

xedin commented Dec 17, 2025

swiftlang/swift#86096
@swift-ci please test

@xedin
Copy link
Author

xedin commented Dec 18, 2025

swiftlang/swift#86096
@swift-ci please test macOS platform

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant