summaryrefslogtreecommitdiff
path: root/src/trans/enumerate.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/trans/enumerate.cpp')
-rw-r--r--src/trans/enumerate.cpp37
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;
-}
-