feat: substitute type parameters when checking assignability of overriding members

[lars-reimann]

Closes #862

Summary of Changes

We now substitute type parameter when checking whether a class member gets overridden properly and whether the overriding is actually necessary. Example:

class MySuperClass<T> {
    attr member: T
}

class MyClass1 sub MySuperClass<Number> {
    attr member: Int // OK
}

class MyClass2 sub MySuperClass<Number> {
    attr member: String // Not OK
}

class MyClass3 sub MySuperClass<Number> {
    attr member: Number // Unnecessary
}

[github-actions]

🦙 MegaLinter status: ✅ SUCCESS

Descriptor	Linter	Files	Fixed	Errors	Elapsed time
✅ REPOSITORY	git_diff	yes		no	0.08s
✅ TYPESCRIPT	eslint	1	0	0	3.73s
✅ TYPESCRIPT	prettier	1	0	0	0.59s

See detailed report in MegaLinter reports
Set VALIDATE_ALL_CODEBASE: true in mega-linter.yml to validate all sources, not only the diff

MegaLinter is graciously provided by

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (33de1e8) 100.00% compared to head (ea7875a) 100.00%.

Additional details and impacted files

@@            Coverage Diff            @@
##              main      #865   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files           91        91           
  Lines        15659     15678   +19     
  Branches      3171      3174    +3     
=========================================
+ Hits         15659     15678   +19     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.