Closed
Description
- Type-mutating functions #27568 Imperative type guards
- Assignability rule for conditional types needs to require check types and distributivity to be identical #27118 Assignability of conditional types (co/contra/invariant?)
- Proposal: Add an "exclusive or" (^) operator #14094
^type operator - Object spreads should retain shallow type narrowing #26645 Apply narrowings to top-level spread results
- Proposal: strict flag to prevent uninferrable generic types from being inferred as {} #27288 Option to error when generic is inferred as
{} - Report errors on all plausible overloads #27249 Report errors on all plausible overloads
- Covariant assignability of type guard functions is unsound #26981 Covariant assignability of type guards
- Error output: Don't deep compare to native objects #26986 Customize error messages for built-in types
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment