diff --git a/pass/Properties.hs b/pass/Properties.hs
index 9513280..947f1c8 100644
--- a/pass/Properties.hs
+++ b/pass/Properties.hs
@@ -227,7 +227,12 @@ rainParDeclarationsPulledUp :: Property
 rainParDeclarationsPulledUp = Property "rainParDeclarationsPulledUp" checkTODO
 
 inferredTypesRecorded :: Property
-inferredTypesRecorded = Property "inferredTypesRecorded" checkTODO
+inferredTypesRecorded = Property "inferredTypesRecorded" $
+                          checkNull "inferredTypesRecorded" . listify findInfer
+  where
+    findInfer :: A.Type -> Bool
+    findInfer A.Infer = True
+    findInfer _ = False
 
 findUDT :: A.Type -> Bool
 findUDT (A.UserDataType {}) = True
@@ -392,4 +397,4 @@ slicesSimplified = Property "slicesSimplified" $
     findJustFromOrFor _ = False
 
 listsGivenType :: Property
-listsGivenType = Property "listsGivenType" checkTODO
\ No newline at end of file
+listsGivenType = Property "listsGivenType" checkTODO