diff options
Diffstat (limited to 'src/trans/enumerate.cpp')
-rw-r--r-- | src/trans/enumerate.cpp | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/src/trans/enumerate.cpp b/src/trans/enumerate.cpp index 7dab15eb..2c918a89 100644 --- a/src/trans/enumerate.cpp +++ b/src/trans/enumerate.cpp @@ -494,40 +494,3 @@ void Trans_Enumerate_FillFrom(TransList& out, const ::HIR::Crate& crate, const : } } -t_cb_generic Trans_Params::get_cb() const -{ - return monomorphise_type_get_cb(sp, &self_type, &pp_impl, &pp_method); -} -::HIR::Path Trans_Params::monomorph(const ::HIR::Crate& crate, const ::HIR::Path& p) const -{ - TRACE_FUNCTION_F(p); - auto rv = monomorphise_path_with(sp, p, this->get_cb(), false); - - ::StaticTraitResolve resolve { crate }; - TU_MATCH(::HIR::Path::Data, (rv.m_data), (e2), - (Generic, - for(auto& arg : e2.m_params.m_types) - resolve.expand_associated_types(sp, arg); - ), - (UfcsInherent, - resolve.expand_associated_types(sp, *e2.type); - for(auto& arg : e2.params.m_types) - resolve.expand_associated_types(sp, arg); - // TODO: impl params too? - for(auto& arg : e2.impl_params.m_types) - resolve.expand_associated_types(sp, arg); - ), - (UfcsKnown, - resolve.expand_associated_types(sp, *e2.type); - for(auto& arg : e2.trait.m_params.m_types) - resolve.expand_associated_types(sp, arg); - for(auto& arg : e2.params.m_types) - resolve.expand_associated_types(sp, arg); - ), - (UfcsUnknown, - BUG(sp, "Encountered UfcsUnknown"); - ) - ) - return rv; -} - |