diff --git a/src/hir_typeck/static.cpp b/src/hir_typeck/static.cpp
index 9809f7253..62b390e03 100644
--- a/src/hir_typeck/static.cpp
+++ b/src/hir_typeck/static.cpp
@@ -2877,6 +2877,7 @@ HIR::TypeRef StaticTraitResolve::get_field_type(const Span& sp, const ::HIR::Typ
         }
         }
     }
+    BUG(sp, "Reached end of `get_field_type` - " << ty);
 }
 
 StaticTraitResolve::ValuePtr StaticTraitResolve::get_value(const Span& sp, const ::HIR::Path& p, MonomorphState& out_params, bool signature_only/*=false*/, const HIR::GenericParams** out_impl_params_def/*=nullptr*/) const