Skip to content

Improve error messages for discriminated union incompatible members #8380

Improve error messages for discriminated union incompatible members

Improve error messages for discriminated union incompatible members #8380

Triggered via pull request December 5, 2025 18:22
@alpha2420alpha2420
synchronize #62837
Status Success
Total duration 11s
Artifacts

pr-modified-files.yml

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