From 51c341450b4747bd66bad69e6062aa32508c888d Mon Sep 17 00:00:00 2001
From: sofia <sofia@teascade.net>
Date: Sat, 12 Jul 2025 23:37:24 +0300
Subject: [PATCH] Fix warnings

---
 reid/src/mir/scopehints.rs | 2 +-
 reid/src/mir/typecheck.rs  | 7 ++-----
 reid/src/mir/types.rs      | 2 --
 3 files changed, 3 insertions(+), 8 deletions(-)

diff --git a/reid/src/mir/scopehints.rs b/reid/src/mir/scopehints.rs
index eefee7b..ac7ae74 100644
--- a/reid/src/mir/scopehints.rs
+++ b/reid/src/mir/scopehints.rs
@@ -2,7 +2,7 @@ use std::{cell::RefCell, collections::HashMap, rc::Rc};
 
 use super::{
     typecheck::{Collapsable, ErrorKind},
-    BinaryOperator, Literal, TypeKind, VagueLiteral, VagueType,
+    BinaryOperator, Literal, TypeKind, VagueType,
 };
 
 #[derive(Clone)]
diff --git a/reid/src/mir/typecheck.rs b/reid/src/mir/typecheck.rs
index ea96772..8ff13c7 100644
--- a/reid/src/mir/typecheck.rs
+++ b/reid/src/mir/typecheck.rs
@@ -1,16 +1,13 @@
 //! This module contains code relevant to doing a type checking pass on the MIR.
 //! During typechecking relevant types are also coerced if possible.
-use std::{
-    cell::RefCell, collections::HashMap, convert::Infallible, iter, marker::PhantomData,
-    thread::scope,
-};
+use std::{convert::Infallible, iter};
 
 use crate::{mir::*, util::try_all};
 use TypeKind::*;
 use VagueType::*;
 
 use super::{
-    pass::{Pass, PassState, ScopeFunction, ScopeVariable, Storage},
+    pass::{Pass, PassState, ScopeFunction, ScopeVariable},
     scopehints::{ScopeHints, TypeHints, TypeRef},
     types::{pick_return, ReturnType},
 };
diff --git a/reid/src/mir/types.rs b/reid/src/mir/types.rs
index 7e007bf..ba9c8ff 100644
--- a/reid/src/mir/types.rs
+++ b/reid/src/mir/types.rs
@@ -1,5 +1,3 @@
-use crate::mir::typecheck::Collapsable;
-
 use super::*;
 
 #[derive(Debug, Clone)]