fixup! Enable to handle some promoted constants

Author: coord-e

src/analyze/basic_block.rs

@@ -144,8 +144,8 @@ impl<'tcx, 'ctx> Analyzer<'tcx, 'ctx> {
             mir_ty::TyKind::Bool => {
                 PlaceType::with_ty_and_term(rty::Type::bool(), chc::Term::bool(bytes[0] != 0))
             }
-            mir_ty::Int(_) => {
-                // TODO: see target endianess
+            mir_ty::TyKind::Int(_) => {
+                // TODO: see target endianness
                 let val = match bytes.len() {
                     1 => i8::from_ne_bytes(bytes.try_into().unwrap()) as i64,
                     2 => i16::from_ne_bytes(bytes.try_into().unwrap()) as i64,