Skip to content

Commit ddc9c16

Browse files
collin5collin5
committed
add more baseline tests + refactor
1 parent 1512028 commit ddc9c16

16 files changed

+470
-217
lines changed

‎src/compiler/checker.ts

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -13270,7 +13270,7 @@ namespace ts {
1327013270

1327113271
function isStringOrNumericLiteralType(type: Type): boolean {
1327213272
return type.flags & TypeFlags.Union ? every((<UnionType>type).types, t => !!(t.flags & TypeFlags.StringOrNumberLiteral && !(t.flags & (TypeFlags.EnumLike | TypeFlags.Intrinsic)))) :
13273-
!!(type.flags & TypeFlags.StringOrNumberLiteral) && !(type.flags & (TypeFlags.EnumLike | TypeFlags.Intrinsic))
13273+
!!(type.flags & TypeFlags.StringOrNumberLiteral) && !(type.flags & (TypeFlags.EnumLike | TypeFlags.Intrinsic));
1327413274
}
1327513275

1327613276
function getBaseTypeOfLiteralType(type: Type): Type {
@@ -21835,17 +21835,17 @@ namespace ts {
2183521835

2183621836
function checkUnaryExpression(node: PrefixUnaryExpression | PostfixUnaryExpression): Type {
2183721837
const symbol = isEntityNameExpression(node.operand) ? isPropertyAccessEntityNameExpression(node.operand) ?
21838-
getSymbolAtLocation((<PropertyAccessExpression>node.operand).name) : getResolvedSymbol(node.operand as Identifier) : undefined;
21838+
getSymbolAtLocation((<PropertyAccessExpression>node.operand).name) : getResolvedSymbol(node.operand) : undefined;
2183921839
if (symbol && isUnaryAssignmentOperator(node.operator) && !(getDeclarationNodeFlagsFromSymbol(symbol) & NodeFlags.Const)) {
2184021840
const operandType = getTypeOfSymbol(symbol);
2184121841
if (isStringOrNumericLiteralType(operandType)) {
2184221842
error(node.operand, Diagnostics.The_literal_type_0_cannot_be_modified, typeToString(operandType));
2184321843
}
2184421844
}
21845-
if (node.kind == SyntaxKind.PrefixUnaryExpression) {
21846-
return checkPrefixUnaryExpression(node)
21845+
if (node.kind === SyntaxKind.PrefixUnaryExpression) {
21846+
return checkPrefixUnaryExpression(node);
2184721847
}
21848-
return checkPostfixUnaryExpression(node)
21848+
return checkPostfixUnaryExpression(node);
2184921849
}
2185021850

2185121851
// Return true if type might be of the given kind. A union or intersection type might be of a given
@@ -22193,7 +22193,7 @@ namespace ts {
2219322193
let leftType: Type;
2219422194

2219522195
const symbol = isEntityNameExpression(left) ? isPropertyAccessEntityNameExpression(left) ?
22196-
getSymbolAtLocation((<PropertyAccessExpression>left).name) : getResolvedSymbol(left as Identifier) : undefined;
22196+
getSymbolAtLocation((<PropertyAccessExpression>left).name) : getResolvedSymbol(left) : undefined;
2219722197
if (symbol && isCompoundAssignmentOperator(operator) && !(getDeclarationNodeFlagsFromSymbol(symbol) & NodeFlags.Const)) {
2219822198
leftType = getTypeOfSymbol(getResolvedSymbol(left as Identifier));
2219922199
if (isStringOrNumericLiteralType(leftType)) {

‎src/compiler/utilities.ts

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3856,7 +3856,7 @@ namespace ts {
38563856

38573857
export function isUnaryAssignmentOperator(token: SyntaxKind): boolean {
38583858
return token === SyntaxKind.PlusPlusToken
3859-
|| token === SyntaxKind.MinusMinusToken
3859+
|| token === SyntaxKind.MinusMinusToken;
38603860

38613861
}
38623862

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

Lines changed: 0 additions & 119 deletions
This file was deleted.

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

Lines changed: 58 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,58 @@
1+
tests/cases/conformance/types/literal/literalTypeProperty.ts(7,1): error TS2743: The literal type '10' cannot be modified.
2+
tests/cases/conformance/types/literal/literalTypeProperty.ts(8,1): error TS2743: The literal type '10' cannot be modified.
3+
tests/cases/conformance/types/literal/literalTypeProperty.ts(9,1): error TS2743: The literal type '10' cannot be modified.
4+
tests/cases/conformance/types/literal/literalTypeProperty.ts(10,1): error TS2743: The literal type '10' cannot be modified.
5+
tests/cases/conformance/types/literal/literalTypeProperty.ts(11,3): error TS2743: The literal type '10' cannot be modified.
6+
tests/cases/conformance/types/literal/literalTypeProperty.ts(12,3): error TS2743: The literal type '10' cannot be modified.
7+
tests/cases/conformance/types/literal/literalTypeProperty.ts(14,1): error TS2743: The literal type '10 | 11' cannot be modified.
8+
tests/cases/conformance/types/literal/literalTypeProperty.ts(15,1): error TS2743: The literal type '10 | 11' cannot be modified.
9+
tests/cases/conformance/types/literal/literalTypeProperty.ts(16,1): error TS2743: The literal type '10 | 11' cannot be modified.
10+
tests/cases/conformance/types/literal/literalTypeProperty.ts(17,1): error TS2743: The literal type '10 | 11' cannot be modified.
11+
tests/cases/conformance/types/literal/literalTypeProperty.ts(18,3): error TS2743: The literal type '10 | 11' cannot be modified.
12+
tests/cases/conformance/types/literal/literalTypeProperty.ts(19,3): error TS2743: The literal type '10 | 11' cannot be modified.
13+
14+
15+
==== tests/cases/conformance/types/literal/literalTypeProperty.ts (12 errors) ====
16+
declare class C {
17+
foo: 10;
18+
bar: 10 | 11
19+
}
20+
21+
var o = new C()
22+
o.foo ++
23+
~~~~~
24+
!!! error TS2743: The literal type '10' cannot be modified.
25+
o.foo += 1
26+
~~~~~
27+
!!! error TS2743: The literal type '10' cannot be modified.
28+
o.foo -= 1
29+
~~~~~
30+
!!! error TS2743: The literal type '10' cannot be modified.
31+
o.foo --
32+
~~~~~
33+
!!! error TS2743: The literal type '10' cannot be modified.
34+
++o.foo
35+
~~~~~
36+
!!! error TS2743: The literal type '10' cannot be modified.
37+
--o.foo
38+
~~~~~
39+
!!! error TS2743: The literal type '10' cannot be modified.
40+
41+
o.bar ++
42+
~~~~~
43+
!!! error TS2743: The literal type '10 | 11' cannot be modified.
44+
o.bar += 1
45+
~~~~~
46+
!!! error TS2743: The literal type '10 | 11' cannot be modified.
47+
o.bar -= 1
48+
~~~~~
49+
!!! error TS2743: The literal type '10 | 11' cannot be modified.
50+
o.bar --
51+
~~~~~
52+
!!! error TS2743: The literal type '10 | 11' cannot be modified.
53+
++o.bar
54+
~~~~~
55+
!!! error TS2743: The literal type '10 | 11' cannot be modified.
56+
--o.bar
57+
~~~~~
58+
!!! error TS2743: The literal type '10 | 11' cannot be modified.

‎tests/baselines/reference/literalTypeProperty.js

Lines changed: 35 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,35 @@
1+
//// [literalTypeProperty.ts]
2+
declare class C {
3+
foo: 10;
4+
bar: 10 | 11
5+
}
6+
7+
var o = new C()
8+
o.foo ++
9+
o.foo += 1
10+
o.foo -= 1
11+
o.foo --
12+
++o.foo
13+
--o.foo
14+
15+
o.bar ++
16+
o.bar += 1
17+
o.bar -= 1
18+
o.bar --
19+
++o.bar
20+
--o.bar
21+
22+
//// [literalTypeProperty.js]
23+
var o = new C();
24+
o.foo++;
25+
o.foo += 1;
26+
o.foo -= 1;
27+
o.foo--;
28+
++o.foo;
29+
--o.foo;
30+
o.bar++;
31+
o.bar += 1;
32+
o.bar -= 1;
33+
o.bar--;
34+
++o.bar;
35+
--o.bar;

‎tests/baselines/reference/literalTypeProperty.symbols

Lines changed: 75 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,75 @@
1+
=== tests/cases/conformance/types/literal/literalTypeProperty.ts ===
2+
declare class C {
3+
>C : Symbol(C, Decl(literalTypeProperty.ts, 0, 0))
4+
5+
foo: 10;
6+
>foo : Symbol(C.foo, Decl(literalTypeProperty.ts, 0, 17))
7+
8+
bar: 10 | 11
9+
>bar : Symbol(C.bar, Decl(literalTypeProperty.ts, 1, 10))
10+
}
11+
12+
var o = new C()
13+
>o : Symbol(o, Decl(literalTypeProperty.ts, 5, 3))
14+
>C : Symbol(C, Decl(literalTypeProperty.ts, 0, 0))
15+
16+
o.foo ++
17+
>o.foo : Symbol(C.foo, Decl(literalTypeProperty.ts, 0, 17))
18+
>o : Symbol(o, Decl(literalTypeProperty.ts, 5, 3))
19+
>foo : Symbol(C.foo, Decl(literalTypeProperty.ts, 0, 17))
20+
21+
o.foo += 1
22+
>o.foo : Symbol(C.foo, Decl(literalTypeProperty.ts, 0, 17))
23+
>o : Symbol(o, Decl(literalTypeProperty.ts, 5, 3))
24+
>foo : Symbol(C.foo, Decl(literalTypeProperty.ts, 0, 17))
25+
26+
o.foo -= 1
27+
>o.foo : Symbol(C.foo, Decl(literalTypeProperty.ts, 0, 17))
28+
>o : Symbol(o, Decl(literalTypeProperty.ts, 5, 3))
29+
>foo : Symbol(C.foo, Decl(literalTypeProperty.ts, 0, 17))
30+
31+
o.foo --
32+
>o.foo : Symbol(C.foo, Decl(literalTypeProperty.ts, 0, 17))
33+
>o : Symbol(o, Decl(literalTypeProperty.ts, 5, 3))
34+
>foo : Symbol(C.foo, Decl(literalTypeProperty.ts, 0, 17))
35+
36+
++o.foo
37+
>o.foo : Symbol(C.foo, Decl(literalTypeProperty.ts, 0, 17))
38+
>o : Symbol(o, Decl(literalTypeProperty.ts, 5, 3))
39+
>foo : Symbol(C.foo, Decl(literalTypeProperty.ts, 0, 17))
40+
41+
--o.foo
42+
>o.foo : Symbol(C.foo, Decl(literalTypeProperty.ts, 0, 17))
43+
>o : Symbol(o, Decl(literalTypeProperty.ts, 5, 3))
44+
>foo : Symbol(C.foo, Decl(literalTypeProperty.ts, 0, 17))
45+
46+
o.bar ++
47+
>o.bar : Symbol(C.bar, Decl(literalTypeProperty.ts, 1, 10))
48+
>o : Symbol(o, Decl(literalTypeProperty.ts, 5, 3))
49+
>bar : Symbol(C.bar, Decl(literalTypeProperty.ts, 1, 10))
50+
51+
o.bar += 1
52+
>o.bar : Symbol(C.bar, Decl(literalTypeProperty.ts, 1, 10))
53+
>o : Symbol(o, Decl(literalTypeProperty.ts, 5, 3))
54+
>bar : Symbol(C.bar, Decl(literalTypeProperty.ts, 1, 10))
55+
56+
o.bar -= 1
57+
>o.bar : Symbol(C.bar, Decl(literalTypeProperty.ts, 1, 10))
58+
>o : Symbol(o, Decl(literalTypeProperty.ts, 5, 3))
59+
>bar : Symbol(C.bar, Decl(literalTypeProperty.ts, 1, 10))
60+
61+
o.bar --
62+
>o.bar : Symbol(C.bar, Decl(literalTypeProperty.ts, 1, 10))
63+
>o : Symbol(o, Decl(literalTypeProperty.ts, 5, 3))
64+
>bar : Symbol(C.bar, Decl(literalTypeProperty.ts, 1, 10))
65+
66+
++o.bar
67+
>o.bar : Symbol(C.bar, Decl(literalTypeProperty.ts, 1, 10))
68+
>o : Symbol(o, Decl(literalTypeProperty.ts, 5, 3))
69+
>bar : Symbol(C.bar, Decl(literalTypeProperty.ts, 1, 10))
70+
71+
--o.bar
72+
>o.bar : Symbol(C.bar, Decl(literalTypeProperty.ts, 1, 10))
73+
>o : Symbol(o, Decl(literalTypeProperty.ts, 5, 3))
74+
>bar : Symbol(C.bar, Decl(literalTypeProperty.ts, 1, 10))
75+

0 commit comments

Comments
 (0)