From b9b64ffbf3a54dcaa41ba8d186911d6d63d09721 Mon Sep 17 00:00:00 2001 From: John Hodge Date: Tue, 12 Jul 2016 17:08:16 +1000 Subject: HIR Typecheck - Planning out handling for more effective impl param determining --- src/hir/type.hpp | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/hir/type.hpp') diff --git a/src/hir/type.hpp b/src/hir/type.hpp index b8af896f..940ebc04 100644 --- a/src/hir/type.hpp +++ b/src/hir/type.hpp @@ -226,6 +226,8 @@ public: void match_generics(const Span& sp, const ::HIR::TypeRef& x, t_cb_resolve_type resolve_placeholder, ::std::function callback) const; bool match_test_generics(const Span& sp, const ::HIR::TypeRef& x, t_cb_resolve_type resolve_placeholder, ::std::function callback) const; + + // Compares this type with another, calling the first callback to resolve placeholders in the other type, and the second callback for generics in this type ::HIR::Compare match_test_generics_fuzz(const Span& sp, const ::HIR::TypeRef& x_in, t_cb_resolve_type resolve_placeholder, t_cb_match_generics callback) const; // Compares this type with another, using `resolve_placeholder` to get replacements for generics/infers in `x` -- cgit v1.2.3