Nested pattern matching with AsyncData<Result>

[drazik]

Hello,

I am trying to implement a React component that holds an AsyncData<Result> in a state, and use pattern matching (using ts-pattern) to render the markup based on this state.

Here is an example: TS playground example

My problem is on the line 28. I am trying to extract the Result.Ok value using P.select(), but the compiler says that this is the Result.Ok itself, instead of the value it holds. I am a bit surprised. Is it really the intended behaviour? Since the extraction on line 30 returns the Result.Error value, it doesn't seem so, but maybe I didn't understand something.

Also, I don't know if it's really a problem with boxed, or if it's more related to ts-pattern.

[zoontek]

@drazik This seems to be a ts-pattern issue when the value is of type any. See this demo

[drazik]

Thank you! Also for the flatten pattern matching example 👍. I will open an issue on ts-pattern then.