151 lines
3.5 KiB
TypeScript
151 lines
3.5 KiB
TypeScript
//// [mappedTypes4.ts]
|
|
type Box<T> = {
|
|
};
|
|
|
|
type Boxified<T> = {
|
|
[P in keyof T]: Box<T[P]>;
|
|
};
|
|
|
|
function boxify<T>(obj: T): Boxified<T> {
|
|
if (typeof obj === "object") {
|
|
let result = {} as Boxified<T>;
|
|
for (let k in obj) {
|
|
result[k] = { value: obj[k] };
|
|
}
|
|
return result;
|
|
}
|
|
return <any>obj;
|
|
}
|
|
|
|
type A = { a: string };
|
|
type B = { b: string };
|
|
type C = { c: string };
|
|
|
|
function f1(x: A | B | C | undefined) {
|
|
return boxify(x);
|
|
}
|
|
|
|
type T00 = Partial<A | B | C>;
|
|
type T01 = Readonly<A | B | C | null | undefined>;
|
|
type T02 = Boxified<A | B[] | C | string>
|
|
type T03 = Readonly<string | number | boolean | null | undefined | void>;
|
|
type T04 = Boxified<string | number | boolean | null | undefined | void>;
|
|
type T05 = Partial<"hello" | "world" | 42>;
|
|
|
|
type BoxifiedWithSentinel<T, U> = {
|
|
[P in keyof T]: Box<T[P]> | U;
|
|
}
|
|
|
|
type T10 = BoxifiedWithSentinel<A | B | C, null>;
|
|
type T11 = BoxifiedWithSentinel<A | B | C, undefined>;
|
|
type T12 = BoxifiedWithSentinel<string, undefined>;
|
|
|
|
type DeepReadonly<T> = {
|
|
readonly [P in keyof T]: DeepReadonly<T[P]>;
|
|
};
|
|
|
|
type Foo = {
|
|
x: number;
|
|
y: { a: string, b: number };
|
|
z: boolean;
|
|
};
|
|
|
|
type DeepReadonlyFoo = {
|
|
readonly x: number;
|
|
readonly y: { readonly a: string, readonly b: number };
|
|
readonly z: boolean;
|
|
};
|
|
|
|
var x1: DeepReadonly<Foo>;
|
|
var x1: DeepReadonlyFoo;
|
|
|
|
// Repro from #13232
|
|
|
|
type Z = { a: number };
|
|
type Clone<T> = {
|
|
[P in keyof (T & {})]: T[P];
|
|
};
|
|
type M = Clone<Z>; // M should be { a: number }
|
|
|
|
var z1: Z;
|
|
var z1: Clone<Z>;
|
|
|
|
|
|
//// [mappedTypes4.js]
|
|
function boxify(obj) {
|
|
if (typeof obj === "object") {
|
|
var result = {};
|
|
for (var k in obj) {
|
|
result[k] = { value: obj[k] };
|
|
}
|
|
return result;
|
|
}
|
|
return obj;
|
|
}
|
|
function f1(x) {
|
|
return boxify(x);
|
|
}
|
|
var x1;
|
|
var x1;
|
|
var z1;
|
|
var z1;
|
|
|
|
|
|
//// [mappedTypes4.d.ts]
|
|
declare type Box<T> = {};
|
|
declare type Boxified<T> = {
|
|
[P in keyof T]: Box<T[P]>;
|
|
};
|
|
declare function boxify<T>(obj: T): Boxified<T>;
|
|
declare type A = {
|
|
a: string;
|
|
};
|
|
declare type B = {
|
|
b: string;
|
|
};
|
|
declare type C = {
|
|
c: string;
|
|
};
|
|
declare function f1(x: A | B | C | undefined): Boxified<A> | Boxified<B> | Boxified<C> | undefined;
|
|
declare type T00 = Partial<A | B | C>;
|
|
declare type T01 = Readonly<A | B | C | null | undefined>;
|
|
declare type T02 = Boxified<A | B[] | C | string>;
|
|
declare type T03 = Readonly<string | number | boolean | null | undefined | void>;
|
|
declare type T04 = Boxified<string | number | boolean | null | undefined | void>;
|
|
declare type T05 = Partial<"hello" | "world" | 42>;
|
|
declare type BoxifiedWithSentinel<T, U> = {
|
|
[P in keyof T]: Box<T[P]> | U;
|
|
};
|
|
declare type T10 = BoxifiedWithSentinel<A | B | C, null>;
|
|
declare type T11 = BoxifiedWithSentinel<A | B | C, undefined>;
|
|
declare type T12 = BoxifiedWithSentinel<string, undefined>;
|
|
declare type DeepReadonly<T> = {
|
|
readonly [P in keyof T]: DeepReadonly<T[P]>;
|
|
};
|
|
declare type Foo = {
|
|
x: number;
|
|
y: {
|
|
a: string;
|
|
b: number;
|
|
};
|
|
z: boolean;
|
|
};
|
|
declare type DeepReadonlyFoo = {
|
|
readonly x: number;
|
|
readonly y: {
|
|
readonly a: string;
|
|
readonly b: number;
|
|
};
|
|
readonly z: boolean;
|
|
};
|
|
declare var x1: DeepReadonly<Foo>;
|
|
declare var x1: DeepReadonlyFoo;
|
|
declare type Z = {
|
|
a: number;
|
|
};
|
|
declare type Clone<T> = {
|
|
[P in keyof (T & {})]: T[P];
|
|
};
|
|
declare type M = Clone<Z>;
|
|
declare var z1: Z;
|
|
declare var z1: Clone<Z>;
|