Skip to content

Fix problems in checking that a constructor is uninhabited for exhaustive match checking #21833

Fix problems in checking that a constructor is uninhabited for exhaustive match checking

Fix problems in checking that a constructor is uninhabited for exhaustive match checking #21833

Triggered via pull request June 22, 2025 14:15
Status Success
Total duration 7s
Artifacts

cla.yml

on: pull_request
Fit to window
Zoom out
Zoom in