diff options
Diffstat (limited to 'src/hir/type.hpp')
| -rw-r--r-- | src/hir/type.hpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/hir/type.hpp b/src/hir/type.hpp index 3ee4e65c..b09d3f40 100644 --- a/src/hir/type.hpp +++ b/src/hir/type.hpp @@ -12,9 +12,11 @@ namespace HIR { class Struct; class Enum; +struct ExprNode_Closure; class TypeRef; -struct ExprNode_Closure; + +typedef ::std::function<void(unsigned int, const ::HIR::TypeRef&)> t_cb_match_generics; enum class InferClass { @@ -176,6 +178,8 @@ 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; + bool match_test_generics(const Span& sp, const ::HIR::TypeRef& x, t_cb_resolve_type resolve_placeholder, ::std::function<void(unsigned int, const ::HIR::TypeRef&)> callback) const; + // 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; }; |