* 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>
186 lines
6 KiB
TypeScript
186 lines
6 KiB
TypeScript
//// [conditionalTypeAssignabilityWhenDeferred.ts]
|
|
export type FilterPropsByType<T, TT> = {
|
|
[K in keyof T]: T[K] extends TT ? K : never
|
|
}[keyof T];
|
|
|
|
function select<
|
|
T extends string | number,
|
|
TList extends object,
|
|
TValueProp extends FilterPropsByType<TList, T>
|
|
>(property: T, list: TList[], valueProp: TValueProp) {}
|
|
|
|
export function func<XX extends string>(x: XX, tipos: { value: XX }[]) {
|
|
select(x, tipos, "value");
|
|
}
|
|
|
|
declare function onlyNullablePlease<T extends null extends T ? any : never>(
|
|
value: T
|
|
): void;
|
|
|
|
declare function onlyNullablePlease2<
|
|
T extends [null] extends [T] ? any : never
|
|
>(value: T): void;
|
|
|
|
declare var z: string | null;
|
|
onlyNullablePlease(z); // works as expected
|
|
onlyNullablePlease2(z); // works as expected
|
|
|
|
declare var y: string;
|
|
onlyNullablePlease(y); // error as expected
|
|
onlyNullablePlease2(y); // error as expected
|
|
|
|
function f<T>(t: T) {
|
|
var x: T | null = Math.random() > 0.5 ? null : t;
|
|
onlyNullablePlease(x); // should work
|
|
onlyNullablePlease2(x); // should work
|
|
}
|
|
|
|
function f2<T>(t1: { x: T; y: T }, t2: T extends T ? { x: T; y: T } : never) {
|
|
t1 = t2; // OK
|
|
t2 = t1; // should fail
|
|
}
|
|
|
|
type Foo<T> = T extends true ? string : "a";
|
|
|
|
function test<T>(x: Foo<T>, s: string) {
|
|
x = "a"; // Currently an error, should be ok
|
|
x = s; // Error
|
|
}
|
|
|
|
// #26933
|
|
type Distributive<T> = T extends { a: number } ? { a: number } : { b: number };
|
|
function testAssignabilityToConditionalType<T>() {
|
|
const o = { a: 1, b: 2 };
|
|
const x: [T] extends [string]
|
|
? { y: number }
|
|
: { a: number; b: number } = undefined!;
|
|
// Simple case: OK
|
|
const o1: [T] extends [number] ? { a: number } : { b: number } = o;
|
|
// Simple case where source happens to be a conditional type: also OK
|
|
const x1: [T] extends [number]
|
|
? ([T] extends [string] ? { y: number } : { a: number })
|
|
: ([T] extends [string] ? { y: number } : { b: number }) = x;
|
|
// Infer type parameters: no good
|
|
const o2: [T] extends [[infer U]] ? U : { b: number } = o;
|
|
|
|
// The next 4 are arguable - if you choose to ignore the `never` distribution case,
|
|
// then they're all good. The `never` case _is_ a bit of an outlier - we say distributive types
|
|
// look approximately like the sum of their branches, but the `never` case bucks that.
|
|
// There's an argument for the result of dumping `never` into a distributive conditional
|
|
// being not `never`, but instead the intersection of the branches - a much more precise bound
|
|
// on that "impossible" input.
|
|
|
|
// Distributive where T might instantiate to never: no good
|
|
const o3: Distributive<T> = o;
|
|
// Distributive where T & string might instantiate to never: also no good
|
|
const o4: Distributive<T & string> = o;
|
|
// Distributive where {a: T} cannot instantiate to never: OK
|
|
const o5: Distributive<{ a: T }> = o;
|
|
// Distributive where check type is a conditional which returns a non-never type upon instantiation with `never` but can still return never otherwise: no good
|
|
const o6: Distributive<[T] extends [never] ? { a: number } : never> = o;
|
|
}
|
|
|
|
type Wrapped<T> = { ___secret: T };
|
|
type Unwrap<T> = T extends Wrapped<infer U> ? U : T;
|
|
|
|
declare function set<T, K extends keyof T>(
|
|
obj: T,
|
|
key: K,
|
|
value: Unwrap<T[K]>
|
|
): Unwrap<T[K]>;
|
|
|
|
class Foo2 {
|
|
prop!: Wrapped<string>;
|
|
|
|
method() {
|
|
set(this, "prop", "hi"); // <-- type error
|
|
}
|
|
}
|
|
|
|
set(new Foo2(), "prop", "hi"); // <-- typechecks
|
|
|
|
type InferBecauseWhyNot<T> = [T] extends [(p: infer P1) => any]
|
|
? P1 | T
|
|
: never;
|
|
|
|
function f3<Q extends (arg: any) => any>(x: Q): InferBecauseWhyNot<Q> {
|
|
return x;
|
|
}
|
|
|
|
type InferBecauseWhyNotDistributive<T> = T extends (p: infer P1) => any
|
|
? P1 | T
|
|
: never;
|
|
|
|
function f4<Q extends (arg: any) => any>(
|
|
x: Q
|
|
): InferBecauseWhyNotDistributive<Q> {
|
|
return x; // should fail
|
|
}
|
|
|
|
|
|
//// [conditionalTypeAssignabilityWhenDeferred.js]
|
|
"use strict";
|
|
exports.__esModule = true;
|
|
exports.func = void 0;
|
|
function select(property, list, valueProp) { }
|
|
function func(x, tipos) {
|
|
select(x, tipos, "value");
|
|
}
|
|
exports.func = func;
|
|
onlyNullablePlease(z); // works as expected
|
|
onlyNullablePlease2(z); // works as expected
|
|
onlyNullablePlease(y); // error as expected
|
|
onlyNullablePlease2(y); // error as expected
|
|
function f(t) {
|
|
var x = Math.random() > 0.5 ? null : t;
|
|
onlyNullablePlease(x); // should work
|
|
onlyNullablePlease2(x); // should work
|
|
}
|
|
function f2(t1, t2) {
|
|
t1 = t2; // OK
|
|
t2 = t1; // should fail
|
|
}
|
|
function test(x, s) {
|
|
x = "a"; // Currently an error, should be ok
|
|
x = s; // Error
|
|
}
|
|
function testAssignabilityToConditionalType() {
|
|
var o = { a: 1, b: 2 };
|
|
var x = undefined;
|
|
// Simple case: OK
|
|
var o1 = o;
|
|
// Simple case where source happens to be a conditional type: also OK
|
|
var x1 = x;
|
|
// Infer type parameters: no good
|
|
var o2 = o;
|
|
// The next 4 are arguable - if you choose to ignore the `never` distribution case,
|
|
// then they're all good. The `never` case _is_ a bit of an outlier - we say distributive types
|
|
// look approximately like the sum of their branches, but the `never` case bucks that.
|
|
// There's an argument for the result of dumping `never` into a distributive conditional
|
|
// being not `never`, but instead the intersection of the branches - a much more precise bound
|
|
// on that "impossible" input.
|
|
// Distributive where T might instantiate to never: no good
|
|
var o3 = o;
|
|
// Distributive where T & string might instantiate to never: also no good
|
|
var o4 = o;
|
|
// Distributive where {a: T} cannot instantiate to never: OK
|
|
var o5 = o;
|
|
// Distributive where check type is a conditional which returns a non-never type upon instantiation with `never` but can still return never otherwise: no good
|
|
var o6 = o;
|
|
}
|
|
var Foo2 = /** @class */ (function () {
|
|
function Foo2() {
|
|
}
|
|
Foo2.prototype.method = function () {
|
|
set(this, "prop", "hi"); // <-- type error
|
|
};
|
|
return Foo2;
|
|
}());
|
|
set(new Foo2(), "prop", "hi"); // <-- typechecks
|
|
function f3(x) {
|
|
return x;
|
|
}
|
|
function f4(x) {
|
|
return x; // should fail
|
|
}
|