Paul Gschwendtner b558a01c84 fix(core): generic inference for signal inputs may break with --strictFunctionTypes (#54652) ...

This commit fixes that the generic inference for signal inputs may break
with `--strictFunctionTypes`.

We are not using --strictFunctionTypes` in all tests, so function parameters are always
checked bivariantly- while in 1P function parameters are checked contravariantly. This
breaks sub-typing and e.g. `InputSignal<number>` is not a subtype of `InputSignalWithTransform<unknown, number>`.

Root cause is that the input signal captures the equality function that
is exclusively concerned with the `ReadT`. And `ReadT` is never equal, or a
supertype of unknown.

https://www.typescriptlang.org/play?#code/KYDwDg9gTgLgBASwHY2FAZgQwMbDgSSTAFcYBlBAcyUwBsB1BGACwBUpMkBndaAWwA8AJWCYAJqwA0celCbBWAPjgBvAFBw4Aei1xWACXxlEXOCzxQIEeNkzEuwAIRmAnmDxhMHPsFRRTXnjYzMDYANbAYnDYECgcAG5eCJwwtC7SAHIA8qxwAEYIALSJcilpAHQacMAAjsR0AFxwABSYTSLiUvntohIAlHAAvMp5VrSiSADcalUA+rNQvaw9ndOa8wDucqjLMtsK0wC+aqCQsIgoaFi4BESkFNR0wkuKVaCoSGKmhCTkVDQMJhsDjcXhQQQdCTSSFKVTHNQxbjwEBNH73f50RgsdicHj8ATEJBhJAQDZIaRIYh8PJoZSDKqU2i0ZyYb53P6PWgCSnU2nTKpaABUM00rDceAA5GiOQDuVSaVBFBKTHASfBWVwMXlxmYIK53HApeyHgCscDcWDBITiaTyar5bSJZVReLTBB0HAwJZ3LAXIbavVaMrAhcYnxPDAENrgM7NHpxYbWk0eQrpHlkw6oANhvkxhNlQhTGq4BqtTqYHqYAmJUm4NaSWS00167bsyM85wnVU4-H3G6PZ5vL40KYJZhg59DeOS4tQxBw5hI9HYz2XQaJS2yQWi9YS1xNY9o7r9ZKU2gnc0AEwzDTZVgAUSaABF7wAFe8ZF8ZXJZDJwAAGhSFFwMByNgMAAGKEuBCCxGKfb-nA6C0JglArqugpaEAA

PR Close #54652

2024-03-04 19:07:47 +01:00

..

integrationtest

refactor: fix a number of typos throughout the codebase (#52249)

2023-10-25 16:51:24 -07:00

linker

feat(compiler): Add a TSConfig option useTemplatePipeline (#54057)

2024-01-24 18:36:23 -05:00

ngcc

refactor(compiler-cli): add back ngcc as a no-op with a warning (#50045)

2023-04-28 18:18:40 +02:00

private

refactor(compiler-cli): group initializer-API based transforms into single transform (#54200)

2024-02-01 15:58:50 +00:00

src

fix(core): generic inference for signal inputs may break with --strictFunctionTypes (#54652)

2024-03-04 19:07:47 +01:00

test

fix(compiler-cli): unwrap expressions with type parameters in query read property (#54647)

2024-02-28 18:05:15 +01:00

BUILD.bazel

refactor(compiler-cli): add transform to support signal input in JIT (#53808)

2024-01-10 12:21:05 +00:00

esbuild.config.js

…

index.ts

refactor(compiler-cli): group initializer-API based transforms into single transform (#54200)

2024-02-01 15:58:50 +00:00

package.json

build: update babel dependencies (#53222)

2024-02-06 18:10:40 +00:00

tsconfig-build.json

…

tsconfig.json

…