Merge pull request #9724 from felher/patch-1

remove outdated difference of match types with typescript's conditional types

Author: smarter

docs/docs/reference/new-types/match-types.md

@@ -243,7 +243,6 @@ main differences here are:
 
  - Conditional types only reduce if both the scrutinee and pattern are ground,
    whereas match types also work for type parameters and abstract types.
- - Match types can bind variables in type patterns.
  - Match types support direct recursion.
  - Conditional types distribute through union types.