hir_ty::mir

Function interpret_mir

source 
pub fn interpret_mir(
    db: &dyn HirDatabase,
    body: Arc<MirBody>,
    assert_placeholder_ty_is_unused: bool,
    trait_env: Option<Arc<TraitEnvironment>>,
) -> Result<(Result<Const, MirEvalError>, MirOutput), MirEvalError>