Skip to content

Improve contextual types for elements typed by reverse mapped tuples #8353

Improve contextual types for elements typed by reverse mapped tuples

Improve contextual types for elements typed by reverse mapped tuples #8353

Triggered via pull request December 5, 2025 16:38
@AndaristAndarist
synchronize #60901
Status Success
Total duration 9s
Artifacts

pr-modified-files.yml

on: pull_request_target
manage-prs
5s
manage-prs
Fit to window
Zoom out
Zoom in