我正在构建一个类型帮助器，它将接口/对象类型与记录合并，其中记录的值参数应该是可选的never类型。这个实用程序是作为一种速记使用的，这样你就不必为每个属性输入key?: never。
这是我的进展。

type WithOptionalNever<T, Keys extends string> = T &
  Partial<Record<Keys, never>>

interface PropsWithout extends WithOptionalNever<Props, "ipsum" | "dolor"> {
  lorem: false
}

这将生成以下类型：

lorem: false;
ipsum: never;
dolor: never;

这是意料之中的，我的思路是将记录 Package 在Partial中，但这并没有提供所需的结果：

lorem: false;
ipsum?: undefined;
dolor?: undefined;

我尝试过用Map类型实现同样的效果，但似乎结果与Partial<Record<Keys, Never>>相同。
有什么想法？
编辑：
我被要求澄清我想如何继续下去，似乎我所要求的不是预期的行为，也没有妨碍我试图实现的目标。
这里有一个简单的例子。我认为key?: never不允许传递lorem prop，除非more显式设置为true。我想我的问题是，是否有一种方法可以完全禁止传递基于另一个属性的缺失/值的属性？

interface Props {
  lorem: string
  more?: boolean
}

interface PropsWith extends Props {
  more: true
  ipsum: string
}

interface PropsWithOut extends Props {
  more?: false
  ipsum?: never
}

export default function Lorem(props: PropsWith | PropsWithOut) {
  return <></>
}

function Test() {
  return (
    <> 
      // I misunderstood and though ?: never would deny the passing of prop
      <Lorem lorem="fndjsk" ipsum={undefined} />
      <Lorem lorem="fndjsk" more={true} ipsum="hfjdsk" />
    </>
  )
}