2643e65da4
* Finally add that missing relationship allowing a type to be assignable to both branches of a conditional * Explicitly write out Ternary.Maybe * Add slightly modified example from #25413 * fix sick sentence * Loosen check to skip false branch constraint check to consider `infer` parameters as always satisfied in the extends clause * Simplify things a bit, only instantiate once Co-authored-by: Nathan Shively-Sanders <293473+sandersn@users.noreply.github.com>
10 lines
295 B
TypeScript
10 lines
295 B
TypeScript
//// [conditionalTypeSubclassExtendsTypeParam.ts]
|
|
declare class Model<M extends MR, MR extends {}> {
|
|
public getField2<K extends keyof M>(): Field<M[K], [K] extends [keyof MR] ? MR[K] : M[K]>
|
|
}
|
|
|
|
declare class Field<T extends TR, TR> {
|
|
}
|
|
|
|
//// [conditionalTypeSubclassExtendsTypeParam.js]
|