should this `satisfies` check be considered a bug?

const e = Effect.succeed(1) // const e: Effect.Effect<number, never, never>
e satisfies Effect.Effect<void, any, any>; // works, TS not complaining
e satisfies Effect.Effect<string, any, any>; // doesn't work, TS complaining

const f = () => 1;
f satisfies () => void; // works