All - Generate MIR for constant evaluation (has too many const_cast calls, but it's less ugly)

- Also includes some MIR optimisation changes to reduce some compile times (hopefully)
- Removed duplicated MIR consteval and now-unused HIR consteval

1 files changed, 11 insertions, 0 deletions

diff --git a/src/hir_expand/annotate_value_usage.cpp b/src/hir_expand/annotate_value_usage.cpp
index 58a4604a..693c7745 100644
--- a/src/hir_expand/annotate_value_usage.cpp
+++ b/src/hir_expand/annotate_value_usage.cpp
@@ -10,6 +10,7 @@
 #include <hir_typeck/static.hpp>
 #include <algorithm>
 #include "main_bindings.hpp"
+#include <hir/expr_state.hpp>
 
 namespace {
 
@@ -654,6 +655,16 @@ namespace {
     };
 }
 
+void HIR_Expand_AnnotateUsage_Expr(const ::HIR::Crate& crate, ::HIR::ExprPtr& exp)
+{
+    assert(exp);
+    StaticTraitResolve   resolve { crate };
+    if(exp.m_state->m_impl_generics)   resolve.set_impl_generics(*exp.m_state->m_impl_generics);
+    if(exp.m_state->m_item_generics)   resolve.set_item_generics(*exp.m_state->m_item_generics);
+    ExprVisitor_Mark    ev { resolve };
+    ev.visit_root(exp);
+}
+
 void HIR_Expand_AnnotateUsage(::HIR::Crate& crate)
 {
     OuterVisitor    ov(crate);