Generic type parsing for type annotations (v0.9.0)

[octo-youcef]

Summary

Adds full support for generic type annotations in Python code, eliminating false positive warnings from type inference.

Closes #39

Changes

New functionality:

• Parse list[T], dict[K, V], set[T], tuple[T, ...] generic types
• Parse union types: X | None, int | str | None
• Parse Optional[T] from typing module
• Parse nested generics: list[dict[str, int]], dict[str, list[int]]
• Support typing module aliases: List[int], Dict[str, Any]

Implementation:

• Created type_utils.parse_type_annotation() shared helper function
• Updated ASTExtractor._get_type_string() to use helper for extracting parameter and return type annotations
• Updated TypeInferrer._get_type_string() to use helper for type inference validation

Impact:

• Type annotations now preserve full generic information instead of erasing to base type
  • Before: list[int] → stored as "list"
  • After: list[int] → stored as "list[int]"
• Type inference validation now correctly compares generic types
• Eliminates false warnings when actual and annotated types match but have generic parameters

Testing

• Added 18 comprehensive unit tests for parse_type_annotation() helper
• Added test for generic type extraction in ASTExtractor
• Added test for generic type inference in TypeInferrer
• All 312 unit tests passing (20 new tests)
• Coverage: 80.63% (above 75% threshold)

Commits

1. Add type_utils module for parsing generic type annotations
2. Update ASTExtractor to parse generic type annotations
3. Update TypeInferrer to parse generic type annotations
4. Update CHANGELOG for v0.9.0
5. Bump version: 0.8.4 → 0.9.0

🤖 Generated with Claude Code