feat: Validate inferred generic types

[sunrabbit123]

Description:

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

BREAKING CHANGE:

Related issue (if exists):
#956

[github-actions]

Thank you for the PR!
Commit: 1a77ce2

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.

[kdy1]

Thank you!