从对象推断(没有类型加宽)属性

• 我有一种类型 MrType<T extends boolean>
• 我有一个功能 MrFn(obj?: { lol: boolean }): MrType<typeof obj.lol>

我试图推断 lol 提供的对象(如果完全提供)的属性为 true 或 false

但是我撞到了一堵墙,因为类型变宽了。

type Magic<T> = T extends { lol: infer U } ? U : false;

const trueObj = { lol: true };
const falseObj = { lol: false };

// should pass
const a: Magic<typeof trueObj> = true; // ok
const b: Magic<typeof falseObj> = false; // ok
const c: Magic<{ lol: true }> = true; // ok
const d: Magic<{ lol: false }> = false; // ok

// should fail
const e: Magic<typeof falseObj> = true; // does not fail
const f: Magic<typeof trueObj> = false; // does not fail
const g: Magic<{ lol: false }> = true; // ok (fails)
const h: Magic<{ lol: true }> = false; // ok (fails)

我的 trueObj 和 falseObj 将其属性推断为 boolean 也就是说我的 Magic<T> 无法检测是否设置 真 或 假

有没有办法纠正我的解决方案,或者这是TS中的一个限制?