type-aware_linting