ayazhafiz b9a29bdb16 Make exhaustive checking its own crate ... Prepares for moving exhaustiveness checking to the closer typechecking phase. Doing this one step at a time so that git preserves the rename.		2022-02-27 20:28:25 -05:00
..
src	Make exhaustive checking its own crate	2022-02-27 20:28:25 -05:00
tests	Fix missing test annotation	2022-02-27 15:51:27 -05:00
Cargo.toml	Make exhaustive checking its own crate	2022-02-27 20:28:25 -05:00