aboutsummaryrefslogtreecommitdiff
path: root/tests/patmat/virtpatmat_reach_sealed_unsealed.check
blob: 6b0ea7f8e1e6de954b1874a4d67e3b5305df8b61 (plain) (blame)
1
2
3
16: Pattern Match Exhaustivity: false
18: Match case Unreachable
19: Match case Unreachable