diff options
| author | John Hodge <tpg@mutabah.net> | 2016-07-12 17:08:16 +1000 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2016-07-12 17:08:16 +1000 |
| commit | b9b64ffbf3a54dcaa41ba8d186911d6d63d09721 (patch) | |
| tree | 1f0a3788f516409435e154ec2446bd8fac4eb6a6 /src/hir/type.hpp | |
| parent | fe63cbd3ad64cfd19349f6e3061ec9d04f3cb288 (diff) | |
| download | mrust-b9b64ffbf3a54dcaa41ba8d186911d6d63d09721.tar.gz | |
HIR Typecheck - Planning out handling for more effective impl param determining
Diffstat (limited to 'src/hir/type.hpp')
| -rw-r--r-- | src/hir/type.hpp | 2 |
1 files changed, 2 insertions, 0 deletions
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<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, 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` |