dev: remove some interned uses (#279)

This commit is contained in:
Myriad-Dreamin 2024-05-13 21:04:10 +08:00 committed by GitHub
parent 6b9bd73d8a
commit f66d50c51f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
15 changed files with 193 additions and 149 deletions

View file

@ -10,7 +10,7 @@
mod adt;
pub mod analysis;
pub mod syntax;
mod ty;
pub mod ty;
mod upstream;
pub(crate) mod diagnostics;