• Improving type information: sources of “unknown”
• Background
• Referencing properties defined on a subclass from a superclass type
• Using an Object as a map
• Using a “map” Object for ad hoc properties
• Unspecified Generic Types
• “Unknown” types warnings for well defined properties
• The variable with the “known” type is undeclared
• The variable with the “known” type is declared