about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--src/analyze.rs2
-rw-r--r--src/common.rs2
2 files changed, 2 insertions, 2 deletions
diff --git a/src/analyze.rs b/src/analyze.rs
index c5541b15257..965e363d2ba 100644
--- a/src/analyze.rs
+++ b/src/analyze.rs
@@ -11,7 +11,7 @@ pub enum SsaKind {
 
 pub fn analyze(fx: &FunctionCx<'_, '_, impl Backend>) -> IndexVec<Local, SsaKind> {
     let mut flag_map = fx.mir.local_decls.iter().map(|local_decl| {
-        if fx.clif_type(local_decl.ty).is_some() {
+        if fx.clif_type(fx.monomorphize(&local_decl.ty)).is_some() {
             SsaKind::Ssa
         } else {
             SsaKind::NotSsa
diff --git a/src/common.rs b/src/common.rs
index 07a1c91d385..a1d0203828e 100644
--- a/src/common.rs
+++ b/src/common.rs
@@ -345,7 +345,7 @@ impl<'tcx, B: Backend + 'static> FunctionCx<'_, 'tcx, B> {
     }
 
     pub fn clif_type(&self, ty: Ty<'tcx>) -> Option<Type> {
-        clif_type_from_ty(self.tcx, self.monomorphize(&ty))
+        clif_type_from_ty(self.tcx, ty)
     }
 
     pub fn get_ebb(&self, bb: BasicBlock) -> Ebb {