Skip to content

Commit 4bb4711

Browse files
sheetalkamatsheetalkamat
committed
Merge branch 'master' into watchImprovements
2 parents 7f969e8 + 884c72e commit 4bb4711

28 files changed

Lines changed: 2053 additions & 59 deletions

File tree

‎src/compiler/checker.ts‎

Lines changed: 173 additions & 22 deletions
Large diffs are not rendered by default.

‎src/compiler/commandLineParser.ts‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -269,6 +269,13 @@ namespace ts {
269269
category: Diagnostics.Strict_Type_Checking_Options,
270270
description: Diagnostics.Enable_strict_null_checks
271271
},
272+
{
273+
name: "strictFunctionTypes",
274+
type: "boolean",
275+
showInSimplifiedHelpView: true,
276+
category: Diagnostics.Strict_Type_Checking_Options,
277+
description: Diagnostics.Enable_strict_checking_of_function_types
278+
},
272279
{
273280
name: "noImplicitThis",
274281
type: "boolean",

‎src/compiler/diagnosticMessages.json‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3310,6 +3310,10 @@
33103310
"category": "Message",
33113311
"code": 6185
33123312
},
3313+
"Enable strict checking of function types.": {
3314+
"category": "Message",
3315+
"code": 6186
3316+
},
33133317
"Variable '{0}' implicitly has an '{1}' type.": {
33143318
"category": "Error",
33153319
"code": 7005

‎src/compiler/types.ts‎

Lines changed: 18 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3218,6 +3218,7 @@ namespace ts {
32183218
NonPrimitive = 1 << 24, // intrinsic object type
32193219
/* @internal */
32203220
JsxAttributes = 1 << 25, // Jsx attributes type
3221+
MarkerType = 1 << 26, // Marker type used for variance probing
32213222

32223223
/* @internal */
32233224
Nullable = Undefined | Null,
@@ -3346,10 +3347,21 @@ namespace ts {
33463347
typeArguments?: Type[]; // Type reference type arguments (undefined if none)
33473348
}
33483349

3350+
/* @internal */
3351+
export const enum Variance {
3352+
Invariant = 0, // Neither covariant nor contravariant
3353+
Covariant = 1, // Covariant
3354+
Contravariant = 2, // Contravariant
3355+
Bivariant = 3, // Both covariant and contravariant
3356+
Independent = 4, // Unwitnessed type parameter
3357+
}
3358+
33493359
// Generic class and interface types
33503360
export interface GenericType extends InterfaceType, TypeReference {
33513361
/* @internal */
3352-
instantiations: Map<TypeReference>; // Generic instantiation cache
3362+
instantiations: Map<TypeReference>; // Generic instantiation cache
3363+
/* @internal */
3364+
variances?: Variance[]; // Variance of each type parameter
33533365
}
33543366

33553367
export interface UnionOrIntersectionType extends Type {
@@ -3525,9 +3537,10 @@ namespace ts {
35253537
}
35263538

35273539
export const enum InferencePriority {
3528-
NakedTypeVariable = 1 << 0, // Naked type variable in union or intersection type
3529-
MappedType = 1 << 1, // Reverse inference for mapped type
3530-
ReturnType = 1 << 2, // Inference made from return type of generic function
3540+
Contravariant = 1 << 0, // Inference from contravariant position
3541+
NakedTypeVariable = 1 << 1, // Naked type variable in union or intersection type
3542+
MappedType = 1 << 2, // Reverse inference for mapped type
3543+
ReturnType = 1 << 3, // Inference made from return type of generic function
35313544
}
35323545

35333546
export interface InferenceInfo {
@@ -3711,6 +3724,7 @@ namespace ts {
37113724
sourceMap?: boolean;
37123725
sourceRoot?: string;
37133726
strict?: boolean;
3727+
strictFunctionTypes?: boolean; // Always combine with strict property
37143728
strictNullChecks?: boolean; // Always combine with strict property
37153729
/* @internal */ stripInternal?: boolean;
37163730
suppressExcessPropertyErrors?: boolean;

‎src/harness/unittests/tsserverProjectSystem.ts‎

Lines changed: 56 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4212,6 +4212,62 @@ namespace ts.projectSystem {
42124212
});
42134213
});
42144214

4215+
describe("refactors", () => {
4216+
it("use formatting options", () => {
4217+
const file = {
4218+
path: "/a.ts",
4219+
content: "function f() {\n 1;\n}",
4220+
};
4221+
const host = createServerHost([file]);
4222+
const session = createSession(host);
4223+
openFilesForSession([file], session);
4224+
4225+
const response0 = session.executeCommandSeq<server.protocol.ConfigureRequest>({
4226+
command: server.protocol.CommandTypes.Configure,
4227+
arguments: {
4228+
formatOptions: {
4229+
indentSize: 2,
4230+
},
4231+
},
4232+
}).response;
4233+
assert.deepEqual(response0, /*expected*/ undefined);
4234+
4235+
const response1 = session.executeCommandSeq<server.protocol.GetEditsForRefactorRequest>({
4236+
command: server.protocol.CommandTypes.GetEditsForRefactor,
4237+
arguments: {
4238+
refactor: "Extract Symbol",
4239+
action: "function_scope_1",
4240+
file: "/a.ts",
4241+
startLine: 2,
4242+
startOffset: 3,
4243+
endLine: 2,
4244+
endOffset: 4,
4245+
},
4246+
}).response;
4247+
assert.deepEqual(response1, {
4248+
edits: [
4249+
{
4250+
fileName: "/a.ts",
4251+
textChanges: [
4252+
{
4253+
start: { line: 2, offset: 1 },
4254+
end: { line: 3, offset: 1 },
4255+
newText: " newFunction();\n",
4256+
},
4257+
{
4258+
start: { line: 3, offset: 2 },
4259+
end: { line: 3, offset: 2 },
4260+
newText: "\nfunction newFunction() {\n 1;\n}\n",
4261+
},
4262+
]
4263+
}
4264+
],
4265+
renameFilename: "/a.ts",
4266+
renameLocation: { line: 2, offset: 3 },
4267+
});
4268+
});
4269+
});
4270+
42154271
describe("CachingFileSystemInformation", () => {
42164272
enum CalledMapsWithSingleArg {
42174273
fileExists = "fileExists",

‎src/lib/dom.generated.d.ts‎

Lines changed: 1 addition & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -4233,11 +4233,7 @@ interface HTMLBodyElement extends HTMLElement {
42334233
onafterprint: (this: HTMLBodyElement, ev: Event) => any;
42344234
onbeforeprint: (this: HTMLBodyElement, ev: Event) => any;
42354235
onbeforeunload: (this: HTMLBodyElement, ev: BeforeUnloadEvent) => any;
4236-
onblur: (this: HTMLBodyElement, ev: FocusEvent) => any;
4237-
onerror: (this: HTMLBodyElement, ev: ErrorEvent) => any;
4238-
onfocus: (this: HTMLBodyElement, ev: FocusEvent) => any;
42394236
onhashchange: (this: HTMLBodyElement, ev: HashChangeEvent) => any;
4240-
onload: (this: HTMLBodyElement, ev: Event) => any;
42414237
onmessage: (this: HTMLBodyElement, ev: MessageEvent) => any;
42424238
onoffline: (this: HTMLBodyElement, ev: Event) => any;
42434239
ononline: (this: HTMLBodyElement, ev: Event) => any;
@@ -4246,7 +4242,6 @@ interface HTMLBodyElement extends HTMLElement {
42464242
onpageshow: (this: HTMLBodyElement, ev: PageTransitionEvent) => any;
42474243
onpopstate: (this: HTMLBodyElement, ev: PopStateEvent) => any;
42484244
onresize: (this: HTMLBodyElement, ev: UIEvent) => any;
4249-
onscroll: (this: HTMLBodyElement, ev: UIEvent) => any;
42504245
onstorage: (this: HTMLBodyElement, ev: StorageEvent) => any;
42514246
onunload: (this: HTMLBodyElement, ev: Event) => any;
42524247
text: any;
@@ -4901,10 +4896,6 @@ interface HTMLFrameElement extends HTMLElement, GetSVGDocument {
49014896
* Sets or retrieves whether the user can resize the frame.
49024897
*/
49034898
noResize: boolean;
4904-
/**
4905-
* Raised when the object has been completely received from the server.
4906-
*/
4907-
onload: (this: HTMLFrameElement, ev: Event) => any;
49084899
/**
49094900
* Sets or retrieves whether the frame can be scrolled.
49104901
*/
@@ -4970,17 +4961,10 @@ interface HTMLFrameSetElement extends HTMLElement {
49704961
onafterprint: (this: HTMLFrameSetElement, ev: Event) => any;
49714962
onbeforeprint: (this: HTMLFrameSetElement, ev: Event) => any;
49724963
onbeforeunload: (this: HTMLFrameSetElement, ev: BeforeUnloadEvent) => any;
4973-
/**
4974-
* Fires when the object loses the input focus.
4975-
*/
4976-
onblur: (this: HTMLFrameSetElement, ev: FocusEvent) => any;
4977-
onerror: (this: HTMLFrameSetElement, ev: ErrorEvent) => any;
49784964
/**
49794965
* Fires when the object receives focus.
49804966
*/
4981-
onfocus: (this: HTMLFrameSetElement, ev: FocusEvent) => any;
49824967
onhashchange: (this: HTMLFrameSetElement, ev: HashChangeEvent) => any;
4983-
onload: (this: HTMLFrameSetElement, ev: Event) => any;
49844968
onmessage: (this: HTMLFrameSetElement, ev: MessageEvent) => any;
49854969
onoffline: (this: HTMLFrameSetElement, ev: Event) => any;
49864970
ononline: (this: HTMLFrameSetElement, ev: Event) => any;
@@ -4989,7 +4973,6 @@ interface HTMLFrameSetElement extends HTMLElement {
49894973
onpageshow: (this: HTMLFrameSetElement, ev: PageTransitionEvent) => any;
49904974
onpopstate: (this: HTMLFrameSetElement, ev: PopStateEvent) => any;
49914975
onresize: (this: HTMLFrameSetElement, ev: UIEvent) => any;
4992-
onscroll: (this: HTMLFrameSetElement, ev: UIEvent) => any;
49934976
onstorage: (this: HTMLFrameSetElement, ev: StorageEvent) => any;
49944977
onunload: (this: HTMLFrameSetElement, ev: Event) => any;
49954978
/**
@@ -5125,10 +5108,7 @@ interface HTMLIFrameElement extends HTMLElement, GetSVGDocument {
51255108
* Sets or retrieves whether the user can resize the frame.
51265109
*/
51275110
noResize: boolean;
5128-
/**
5129-
* Raised when the object has been completely received from the server.
5130-
*/
5131-
onload: (this: HTMLIFrameElement, ev: Event) => any;
5111+
51325112
readonly sandbox: DOMSettableTokenList;
51335113
/**
51345114
* Sets or retrieves whether the frame can be scrolled.

‎src/server/client.ts‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -573,15 +573,14 @@ namespace ts.server {
573573

574574
getEditsForRefactor(
575575
fileName: string,
576-
formatOptions: FormatCodeSettings,
576+
_formatOptions: FormatCodeSettings,
577577
positionOrRange: number | TextRange,
578578
refactorName: string,
579579
actionName: string): RefactorEditInfo {
580580

581581
const args = this.createFileLocationOrRangeRequestArgs(positionOrRange, fileName) as protocol.GetEditsForRefactorRequestArgs;
582582
args.refactor = refactorName;
583583
args.action = actionName;
584-
args.formatOptions = formatOptions;
585584

586585
const request = this.processRequest<protocol.GetEditsForRefactorRequest>(CommandNames.GetEditsForRefactor, args);
587586
const response = this.processResponse<protocol.GetEditsForRefactorResponse>(request);

‎src/server/protocol.ts‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -494,7 +494,6 @@ namespace ts.server.protocol {
494494
refactor: string;
495495
/* The 'name' property from the refactoring action */
496496
action: string;
497-
formatOptions?: FormatCodeSettings,
498497
};
499498

500499

‎src/server/session.ts‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1488,7 +1488,7 @@ namespace ts.server {
14881488

14891489
const result = project.getLanguageService().getEditsForRefactor(
14901490
file,
1491-
args.formatOptions ? convertFormatOptions(args.formatOptions) : this.projectService.getFormatCodeOptions(),
1491+
this.projectService.getFormatCodeOptions(file),
14921492
position || textRange,
14931493
args.refactor,
14941494
args.action

‎tests/baselines/reference/fuzzy.errors.txt‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@ tests/cases/compiler/fuzzy.ts(21,13): error TS2322: Type '{ anything: number; on
44
Types of property 'oneI' are incompatible.
55
Type 'this' is not assignable to type 'I'.
66
Type 'C' is not assignable to type 'I'.
7+
Property 'alsoWorks' is missing in type 'C'.
78
tests/cases/compiler/fuzzy.ts(25,20): error TS2352: Type '{ oneI: this; }' cannot be converted to type 'R'.
89
Property 'anything' is missing in type '{ oneI: this; }'.
910

@@ -38,6 +39,7 @@ tests/cases/compiler/fuzzy.ts(25,20): error TS2352: Type '{ oneI: this; }' canno
3839
!!! error TS2322: Types of property 'oneI' are incompatible.
3940
!!! error TS2322: Type 'this' is not assignable to type 'I'.
4041
!!! error TS2322: Type 'C' is not assignable to type 'I'.
42+
!!! error TS2322: Property 'alsoWorks' is missing in type 'C'.
4143
}
4244

4345
worksToo():R {

0 commit comments

Comments
 (0)