dudykr / stc

Speedy TypeScript type checker

https://stc.dudy.dev

Apache License 2.0

5.77k stars 166 forks source link

feat: Validate inferred generic types #1053

Closed sunrabbit123 closed 1 year ago

sunrabbit123 commented 1 year ago

Description:

interface A<T extends string> {}
type a = A<number> // required error, not reported

BREAKING CHANGE:

Related issue (if exists):

956

github-actions[bot] commented 1 year ago

Thank you for the PR! Commit: 1a77ce2b75a9ace1105c8f3a5c815f73960cb662

Files to check

These are files which is affected by the current PR, but not reflected. If there's no file below this message, please ignore this message.

You can run ./scripts/auto-unignore.sh from crates/stc_ts_file_analyzer for typescript files, and ./scripts/check.sh from crates/stc_ts_type_checker for *.stats.rust-debug files.