stc

stc copied to clipboard

https://github.com/dudykr/stc/blob/5fcf2551ade28eadf83c6c352f8d351f0b717182/crates/stc_ts_type_checker/tests/conformance/expressions/functionCalls/overloadResolution.ts#L23-L54 Currently, the generic variant of `fn3` is selected. https://github.com/dudykr/stc/blob/5fcf2551ade28eadf83c6c352f8d351f0b717182/crates/stc_ts_type_checker/tests/conformance/expressions/functionCalls/overloadResolution.ts#L49 But we should select the second one. https://github.com/dudykr/stc/blob/5fcf2551ade28eadf83c6c352f8d351f0b717182/crates/stc_ts_type_checker/tests/conformance/expressions/functionCalls/overloadResolution.ts#L48

kdy1

Error code for `too many type arguments` is wrong

6

https://github.com/dudykr/stc/blob/5fcf2551ade28eadf83c6c352f8d351f0b717182/crates/stc_ts_type_checker/tests/conformance/expressions/functionCalls/overloadResolutionConstructors.ts#L67 We should use `TS2558` instead of `TS2554` (`ExpectedNArgsButGotM`)

kdy1

kdy1

kdy1

kdy1

We need some logic to handle complex dependencies like https://github.com/dudykr/stc/blob/547214bfff5cf6f061766e6829de518679db655b/crates/stc_ts_type_checker/tests/conformance/classes/members/privateNames/privateNamesConstructorChain-1.ts#L1-L15

kdy1

Wrong type arguments should use correct error code

2

https://github.com/dudykr/stc/blob/5fcf2551ade28eadf83c6c352f8d351f0b717182/crates/stc_ts_type_checker/tests/conformance/expressions/functionCalls/overloadResolutionClassConstructors.ts#L74 We should use `TS2344` instead of `TS2345` (Wrong argument type)

kdy1

Change error code for overload resolution failure

2

https://github.com/dudykr/stc/blob/5fcf2551ade28eadf83c6c352f8d351f0b717182/crates/stc_ts_type_checker/tests/conformance/expressions/functionCalls/overloadResolution.ts#L17-L27 This should fail with `no matching overloads` instead of `argument mismatch`

kdy1

feat(ts/analzer): intersection reduction

5

**Description:** Resolve IntersectionReduction **BREAKING CHANGE:** if rhs.isAny, check `to` is never if `to` is Never and rhs.isAny, fail! and LValue is Intersection 1. represent `intersection_normalize` 2. Fix if property is...

sunrabbit123

`find . -type f -name ".*" | sort | sed -e 's/^/- [ ] /'` from `./crates/stc_ts_file_analyzer` ## List - [ ] ./tests/errors/conformance/types/intersection/withUnionConstraint/.1.ts - [ ] ./tests/pass-only/conformance/ambient/ambientExternalModuleInsideNonAmbient/.1.ts - [ ]...

kdy1