summaryrefslogtreecommitdiff
path: root/src/hir/type.hpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/hir/type.hpp')
-rw-r--r--src/hir/type.hpp7
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;
};