Skip to content
Specification

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

Sign in to view logs

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 #8582

Triggered via pull request June 22, 2025 14:15
@Alex1005aAlex1005a
opened #23403
Alex1005a:bottom-types-coverage-fix
Status Success
Total duration 1m 30s
Artifacts –

spec.yml

on: pull_request
specification
1m 26s
specification
Fit to window
Zoom out
Zoom in