diff options
| -rw-r--r-- | src/mir/from_hir.cpp | 21 |
1 files changed, 20 insertions, 1 deletions
diff --git a/src/mir/from_hir.cpp b/src/mir/from_hir.cpp index fd0de5a2..e8b1177b 100644 --- a/src/mir/from_hir.cpp +++ b/src/mir/from_hir.cpp @@ -1217,7 +1217,26 @@ namespace { ) ), (UfcsKnown, - TODO(sp, "PathValue - UfcsKnown"); + // Check what item type this is (from the trait) + const auto& tr = m_builder.crate().get_trait_by_path(sp, pe.trait.m_path); + auto it = tr.m_values.find(pe.item); + ASSERT_BUG(sp, it != tr.m_values.end(), "Cannot find trait item for " << node.m_path); + TU_MATCHA( (it->second), (e), + (None, + BUG(sp, "Path " << node.m_path << " points to a None trait item"); + ), + (Constant, + TODO(sp, "Associated constants - " << node.m_path); + ), + (Static, + TODO(sp, "Associated statics (non-rustc) - " << node.m_path); + ), + (Function, + auto tmp = m_builder.new_temporary( node.m_res_type.clone() ); + m_builder.push_stmt_assign( sp, tmp.clone(), ::MIR::Constant::make_ItemAddr(node.m_path.clone()) ); + m_builder.set_result( sp, mv$(tmp) ); + ) + ) ), (UfcsUnknown, BUG(sp, "PathValue - Encountered UfcsUnknown - " << node.m_path); |