Get rid of the redundant elaboration in middle

This commit is contained in:
Michael Goulet
2024-07-06 12:33:03 -04:00
parent 90423a7abb
commit 66eb346770
7 changed files with 40 additions and 100 deletions

View File

@@ -7,7 +7,6 @@ pub mod select;
pub mod solve;
pub mod specialization_graph;
mod structural_impls;
pub mod util;
use crate::mir::ConstraintCategory;
use crate::ty::abstract_const::NotConstEvaluatable;