问题描述
// Utility type like Omit but does not loose the kNown keys
export type RemappedOmit<T,K extends PropertyKey> = {
[P in keyof T as Exclude<P,K>]: T[P]
}
// Utility type that makes some keys optional
export type OptionalKeys<T,Keys extends keyof T> = RemappedOmit<T,Keys> &
Pick<Partial<T>,Keys>
// Example of my problem
type ExtendedBase = Record<string,unkNown>
type Props<Extended extends ExtendedBase> = {
foo: string
bar: string
} & Extended
const fn = <Extended extends ExtendedBase>(
partialP: OptionalKeys<Props<Extended>,'bar'>,): Props<Extended> => {
const r: Props<Extended> = { // 'RemappedOmit<Props<Extended>,"bar"> & { bar: string; }' is assignable to the constraint of type 'Extended',but 'Extended' Could be instantiated with a different subtype of constraint 'Record<string,unkNown>'.
...partialP,bar: 'smthg',}
return r
}
Reproduction in TS Playground here
我想我明白分配给 Prop<Extended>
的类型 r
可以使用与 Extended
不同的 OptionalKeys<Props<Extended>,'bar'>
类型实例化。在其他情况下,我会完全理解。但在我看来,在这种情况下,可以静态分析这两种类型实际上是使用来自泛型函数的相同 Extended
类型实例化的。
我说得对吗?有什么解决方法吗?
解决方法
暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!
如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@)