- Parse all return types of functions through PHPDoc
- Parse all return types of functions implicitly through return statements. PHPDocs take precedence.
- Type polymorphism through if, foreach etc. statements
- Inheritance constraints verification
- Inheritance type check