Type Alias CheckedValue<TValue, TPattern>

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

Type Parameters

TValue
TPattern extends MatchPattern