diff options
| -rw-r--r-- | src/hir_typeck/common.cpp | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/hir_typeck/common.cpp b/src/hir_typeck/common.cpp index 941e6002..fa83723c 100644 --- a/src/hir_typeck/common.cpp +++ b/src/hir_typeck/common.cpp @@ -32,13 +32,13 @@ bool visit_ty_with__path(const ::HIR::Path& tpl, t_cb_visit_ty callback) return visit_ty_with__path_params(e.m_params, callback); ), (UfcsInherent, - return monomorphise_type_needed(*e.type) || monomorphise_pathparams_needed(e.params); + return visit_ty_with(*e.type, callback) || visit_ty_with__path_params(e.params, callback); ), (UfcsKnown, - return monomorphise_type_needed(*e.type) || monomorphise_pathparams_needed(e.trait.m_params) || monomorphise_pathparams_needed(e.params); + return visit_ty_with(*e.type, callback) || visit_ty_with__path_params(e.trait.m_params, callback) || visit_ty_with__path_params(e.params, callback); ), (UfcsUnknown, - return monomorphise_type_needed(*e.type) || monomorphise_pathparams_needed(e.params); + return visit_ty_with(*e.type, callback) || visit_ty_with__path_params(e.params, callback); ) ) throw ""; @@ -51,7 +51,6 @@ bool visit_ty_with(const ::HIR::TypeRef& ty, t_cb_visit_ty callback) TU_MATCH(::HIR::TypeRef::Data, (ty.m_data), (e), (Infer, - //BUG(Span(), "_ type found in monomorphisation target - " << tpl); ), (Diverge, ), |