typescript-microsoft-typescript-add-strict-2

A painting is a person's account of this edit as text, recorded independently of the node mapping - a rendering often has several equally defensible answers where the mapping has one. Deletions and insertions carry no position on the opposite side in a painting, so that panel draws no caret for them.

Before1function f<T, U>(y: T, y1: U, p: (z: U) => T, p1: (x: T) => U): [T, U] { return [y, p1(y)]; }
2interface A { a: A; }
3interface B extends A { b; }
4
5var a: A, b: B;
6
7var d = f(a, b, x => x, x => <any>x); // Type [A, B]

After1// @strict: false
2function f<T, U>(y: T, y1: U, p: (z: U) => T, p1: (x: T) => U): [T, U] { return [y, p1(y)]; }
3interface A { a: A; }
4interface B extends A { b; }
5
6var a: A, b: B;
7
8var d = f(a, b, x => x, x => <any>x); // Type [A, B]

Before1function f<T, U>(y: T, y1: U, p: (z: U) => T, p1: (x: T) => U): [T, U] { return [y, p1(y)]; }
2interface A { a: A; }
3interface B extends A { b; }
4
5var a: A, b: B;
6
7var d = f(a, b, x => x, x => <any>x); // Type [A, B]

After1// @strict: false
2function f<T, U>(y: T, y1: U, p: (z: U) => T, p1: (x: T) => U): [T, U] { return [y, p1(y)]; }
3interface A { a: A; }
4interface B extends A { b; }
5
6var a: A, b: B;
7
8var d = f(a, b, x => x, x => <any>x); // Type [A, B]

Before

program

function_declaration (+82 nodes collapsed)

interface_declaration

interface "interface"

type_identifier "A"

interface_body

{ "{"

property_signature

property_identifier "a"

type_annotation

: ":"

type_identifier "A"

; ";"

} "}"

interface_declaration

interface "interface"

type_identifier "B"

extends_type_clause

extends "extends"

type_identifier "A"

interface_body

{ "{"

property_signature

property_identifier "b"

; ";"

} "}"

variable_declaration

var "var"

variable_declarator

identifier "a"

type_annotation

: ":"

type_identifier "A"

, ","

variable_declarator

identifier "b"

type_annotation

: ":"

type_identifier "B"

; ";"

variable_declaration (+30 nodes collapsed)

comment "// Type [A, B]"

After

program

comment "// @strict: false"

function_declaration (+82 nodes collapsed)

interface_declaration

interface "interface"

type_identifier "A"

interface_body

{ "{"

property_signature

property_identifier "a"

type_annotation

: ":"

type_identifier "A"

; ";"

} "}"

interface_declaration

interface "interface"

type_identifier "B"

extends_type_clause

extends "extends"

type_identifier "A"

interface_body

{ "{"

property_signature

property_identifier "b"

; ";"

} "}"

variable_declaration

var "var"

variable_declarator

identifier "a"

type_annotation

: ":"

type_identifier "A"

, ","

variable_declarator

identifier "b"

type_annotation

: ":"

type_identifier "B"

; ";"

variable_declaration (+30 nodes collapsed)

comment "// Type [A, B]"

Keybindings

j / k: next / previous visible node (tree panels)
h / l: collapse / expand the focused node
g / G: jump to first / last visible node
Tab: switch focus between Before/After panels
/: search: jump to next node whose text contains a given string
a: jump the other panel to this node's mapped counterpart
i: hide identical matches, showing only inserted/deleted/updated nodes and their ancestors
v: cycle the view: split / code only / tree only
p: cycle what the code view renders: the node mapping, then each human painting
r: mark this fixture as reviewed, or forget the mark (kept in this browser only)
n: open a random fixture not yet marked as reviewed
?: toggle this help