diff options
| author | John Hodge <tpg@mutabah.net> | 2016-09-29 15:31:59 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2016-09-29 15:31:59 +0800 |
| commit | 3a31e6b5f85436d9b239e23cfcb6bf39e5ad052d (patch) | |
| tree | f8cbae6cc7d75cfdad7ea44005a3e3f52ee3d594 /src/hir/hir.hpp | |
| parent | a19bd7137b56c92f3363ea2eb6e2e4ed0a0fd271 (diff) | |
| download | mrust-3a31e6b5f85436d9b239e23cfcb6bf39e5ad052d.tar.gz | |
HIR Typecheck Expr - Draft auto trait impl search
Diffstat (limited to 'src/hir/hir.hpp')
| -rw-r--r-- | src/hir/hir.hpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/hir/hir.hpp b/src/hir/hir.hpp index e1406067..c439960a 100644 --- a/src/hir/hir.hpp +++ b/src/hir/hir.hpp @@ -190,7 +190,7 @@ struct Trait ::std::string m_lifetime; ::std::vector< ::HIR::TraitPath > m_parent_traits; - bool m_is_marker; + bool m_is_marker; // aka OIBIT ::std::unordered_map< ::std::string, AssociatedType > m_types; ::std::unordered_map< ::std::string, TraitValueItem > m_values; @@ -361,6 +361,7 @@ public: } bool find_trait_impls(const ::HIR::SimplePath& path, const ::HIR::TypeRef& type, t_cb_resolve_type ty_res, ::std::function<bool(const ::HIR::TraitImpl&)> callback) const; + bool find_auto_trait_impls(const ::HIR::SimplePath& path, const ::HIR::TypeRef& type, t_cb_resolve_type ty_res, ::std::function<bool(const ::HIR::MarkerImpl&)> callback) const; bool find_type_impls(const ::HIR::TypeRef& type, t_cb_resolve_type ty_res, ::std::function<bool(const ::HIR::TypeImpl&)> callback) const; }; |