diff --git a/src/mim/dump.cpp b/src/mim/dump.cpp
index f84d876e9c..262af8cd11 100644
--- a/src/mim/dump.cpp
+++ b/src/mim/dump.cpp
@@ -305,6 +305,7 @@ void Dumper::dump(Def* mut) {
         if (def->isa<Arr>()) return ".Arr";
         if (def->isa<Pack>()) return ".pack";
         if (def->isa<Pi>()) return ".Pi";
+        if (def->isa<Infer>()) return ".Infer";
         fe::unreachable();
     };
 
@@ -313,6 +314,7 @@ void Dumper::dump(Def* mut) {
         if (auto arr = def->isa<Arr>()) return print(os, ", {}", arr->shape());
         if (auto pack = def->isa<Pack>()) return print(os, ", {}", pack->shape());
         if (auto pi = def->isa<Pi>()) return print(os, ", {}", pi->dom());
+        if (auto infer = def->isa<Infer>()) return infer->is_set() ? print(os, ", {}", infer->op()) : print(os, ", ??");
         fe::unreachable();
     };