Update match

This commit is contained in:
Ayaz Hafiz 2022-12-12 09:17:06 -06:00
parent 289b1ea35a
commit a002d568e0
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -43,7 +43,7 @@ impl TypeError {
TypeError::BadPattern(..) => RuntimeError,
TypeError::CircularType(..) => RuntimeError,
TypeError::CircularDef(_) => RuntimeError,
TypeError::UnexposedLookup(_) => RuntimeError,
TypeError::UnexposedLookup(..) => RuntimeError,
TypeError::UnfulfilledAbility(_) => RuntimeError,
TypeError::BadExprMissingAbility(_, _, _, _) => RuntimeError,
TypeError::BadPatternMissingAbility(_, _, _, _) => RuntimeError,