Log in Sign up
1 Matching Annotations
  1. Aug 2021
  2. github.com github.com
    “A type predicate's type must be assignable to its parameter's type” does not always kick in · Issue #32541 · microsoft/TypeScript
    1
    1. TylerRick 24 Aug 2021
      in Public
      that is, a type like {foo: never} does not itself get reduced to never even though you shouldn't be able to have a value of type {foo: never}
      TypeScript: reducing types TypeScript: never
    Visit annotations in context

    Tags

    • TypeScript: reducing types
    • TypeScript: never

    Annotators

    • TylerRick

    URL

    github.com/microsoft/TypeScript/issues/32541
Share:
Group. Only group members will be able to view this annotation.
Only me. No one else will be able to view this annotation.
Hypothes.is
  • About
  • Blog
  • Bioscience
  • Education
  • Jobs
  • Help
  • Contact
  • Terms of Service
  • Privacy Policy