diff --git a/fixed/72845.rs b/ices/72845.rs
similarity index 98%
rename from fixed/72845.rs
rename to ices/72845.rs
index 7d958de8..6e2321d9 100644
--- a/fixed/72845.rs
+++ b/ices/72845.rs
@@ -43,3 +43,5 @@ impl<T: Spec1> Foo for T {
 impl<T: Spec2> Foo for T {
     fn Bar() {}
 }
+
+fn main() {}