HIR Typecheck - Replace associated types with known bounds (IntoIter)

1 files changed, 0 insertions, 7 deletions

diff --git a/src/hir/type.hpp b/src/hir/type.hpp
index 597319a9..b3dd0fc8 100644
--- a/src/hir/type.hpp
+++ b/src/hir/type.hpp
@@ -15,8 +15,6 @@ class Enum;
 
 class TypeRef;
 
-typedef ::std::function<const ::HIR::TypeRef&(const ::HIR::TypeRef&)> t_cb_resolve_type;
-
 enum class InferClass
 {
     None,
@@ -172,11 +170,6 @@ public:
     // Raises a bug against `sp` if there is a form mismatch or `this` has an infer
     void match_generics(const Span& sp, const ::HIR::TypeRef& x, t_cb_resolve_type resolve_placeholder, ::std::function<void(unsigned int, const ::HIR::TypeRef&)> callback) const;
     
-    enum Compare {
-        Equal,
-        Fuzzy,
-        Unequal,
-    };
     // Compares this type with another, using `resolve_placeholder` to get replacements for generics/infers in `x`
     Compare compare_with_paceholders(const Span& sp, const ::HIR::TypeRef& x, t_cb_resolve_type resolve_placeholder) const;
 };