Type Alias CheckedValue<TValue, TPattern>

CheckedValue: IsAny<TValue> extends true
? InferMatchPattern<TPattern>
: TValue & InferMatchPattern<TPattern>

Type Parameters

TValue
TPattern extends MatchPattern