fmt and clippy fixes

This commit is contained in:
Luke Boswell 2024-03-20 12:31:04 +11:00
parent cc10df6db9
commit e74501981e
No known key found for this signature in database
GPG key ID: F6DB3C9DB47377B0
6 changed files with 6 additions and 19 deletions

View file

@ -13,6 +13,7 @@ pub mod constraint;
pub mod copy;
pub mod def;
mod derive;
pub mod desugar;
pub mod effect_module;
pub mod env;
pub mod exhaustive;
@ -20,7 +21,6 @@ pub mod expected;
pub mod expr;
pub mod module;
pub mod num;
pub mod desugar;
pub mod pattern;
pub mod procedure;
pub mod scope;