generic typeguard do not work as filter

[Lonli-Lokli]

What is the current behavior:
https://tsplay.dev/wXq5JN

import {sample, createEvent, createEffect, createStore} from "effector";

type Doggy<D> = {
    readonly _tag: 'Dog';
    readonly barkingTime: D;
}
type Catty<C> = {
    readonly _tag: 'Cat';
    readonly milkSounds: C;
}
type Pet<D, C> = Doggy<D> | Catty<C>;


const SmallCat: Catty<string> = {
    _tag: 'Cat',
    milkSounds: 'mew'
}

const whenFeedCat = createEvent<string>();
const $activePet = createStore<Pet<number, string>>(SmallCat);
const printMilkFx = createEffect(({milk, time}: {
    milk: string,
    time: string
}) => {
    console.log(`Feed at ${time} when milk is ${milk}`);
});



sample({
    clock: whenFeedCat,
    source: $activePet,
    filter: isCat,
    fn: (cat, time) => ({milk: cat.milkSounds, time}), // TS error
    target: printMilkFx
})

sample({
    clock: whenFeedCat,
    source: $activePet,
    filter: (pet: Pet<number, string>) => isCat(pet),
    fn: (cat, time) => ({milk: cat.milkSounds, time}), // TS error
    target: printMilkFx
})

sample({
    clock: whenFeedCat,
    source: $activePet,
    filter: pet => isCat(pet),
    fn: (cat, time) => ({milk: cat.milkSounds, time}), // TS error
    target: printMilkFx
})

function isCat<A>(pet: Pet<any, A>): pet is Catty<A> {
    return pet._tag === 'Cat';
}

What is the expected behavior:
Proper types

Which versions of effector packages, and which browser and OS are affected by this issue? Did this work in previous versions of effector?:
latest

[Lonli-Lokli]

I have one more case when typescript does not report an error with the sample (link)

import {sample, createEvent, createStore} from "effector";

type AnyObject = {
    name: string;
}
function isDefined<T>(value: T | null | undefined): value is T {
    return  value !== null && value !== undefined;
}

const voidEvent = createEvent();
const stringEvent = createEvent<string>();
const $nullableStore = createStore<AnyObject | null>(null);

sample({
  clock: voidEvent,
  source: $nullableStore,
  filter: isDefined,
  target: stringEvent
});

[zerobias]

Function which uses type guard is not a type guard, so filter will not work in typescript at all, this is not related to effector

https://www.typescriptlang.org/play?ts=5.0.4#code/FAMwrgdgxgLglgewgAjgZwIICcsEMCeAFAG64A2AXMrhPgJRWlmprLZ74A8N+AfMgG9gyEciwBTGGCwp2BAHTo5RJnWABfYKEixEKJTgIAmEuSo86g4aIlSZLZabJrN26PCTIA7giwBrNCcqSD8IBC8ISyFRVBBCAw4nOijrGJEoJDQEMnF5MgQAcyc88QgCmAALNRjNV3B3PWQwmAB1XwCg5BCwiJSYuDiE4yS+tPTM7Nz8oqYSssrq0VqgA

[sergeysova]

@zerobias But isCat is a type-guard:

sample({
    clock: whenFeedCat,
    source: $activePet,
    filter: isCat,
    fn: (cat, time) => ({milk: cat.milkSounds, time}), // TS error
    target: printMilkFx
})

// ***

function isCat<A>(pet: Pet<any, A>): pet is Catty<A> {
    return pet._tag === 'Cat';
}