fix a test

This commit is contained in:
Richard Feldman 2022-11-01 01:26:22 -04:00
parent afa88bfd41
commit 211a5adcf6
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B

View file

@ -70,8 +70,8 @@ fn exhaustiveness_problem() {
This when does not cover all the possibilities:
6> when t is
7> A -> 1
7> when t is
8> A -> 1
Other possibilities include: