condition doesn't work with type guards

[fsher]

Hey there!

I've discovered that condition's if doesn't propagate type guarded types to else and then. When passing a union type in source return type and trying to type-guard it in if, else still has Unit<void | NoInfer<Foo | Bar>

Reproducible Example

Expected Result

• else and then properties are type guarded by if, similar to effector's guard

Environment:

• Effector: 22.1.0
• Typescript: 4.3.5

Please let me know if you need more information regarding this. Thanks!

[fsher]

May be linked to #109

[sergeysova]

@fsher Can you reproduce your example again, please? I can't see any issues

[ainursharaev]

@fsher I've checked your example and also didn't get any issues

[fsher]

@sergeysova @ainursharaev hey guys. Sorry for a VERY late reply, and thank you for looking into this.

TS playground shows no errors for me as well at the moment. I'm assuming it's pulling the latest versions of packages by default (which I'm sorry I haven't configured properly or used a different sandbox). It might've been fixed in one of the releases after Sep 8, 2021, so I think we can freely close this with no-repro/fixed.

Again, sorry for a late reply.