*

Author: imteekay

draft/object-types.md

@@ -569,6 +569,8 @@ Check phases
 
 1. Any property type mismatch should generate this error
 
+- If they don't share the same type. e.g. `number` and `object`
+
 ```
 Type {X} is not assignable to {Y}
 ```