Skip to content
Specification

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

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

Triggered via pull request June 22, 2025 16:36
@Alex1005aAlex1005a
synchronize #23403
Alex1005a:bottom-types-coverage-fix
Status Success
Total duration 1m 23s
Artifacts –

spec.yml

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