You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: doc/spec.md
+6-6
Original file line number
Diff line number
Diff line change
@@ -1837,9 +1837,9 @@ Here, 'g' and 'g.x' have the same recursive type, and likewise 'h' and 'h()' hav
1837
1837
The `this` keyword is used to reference the this-type (section [3.6.3](#3.6.3)) of a class or interface.
1838
1838
1839
1839
  *ThisType:*
1840
-
   `this
1840
+
   `this`
1841
1841
1842
-
`The meaning of a *ThisType* depends on the closest enclosing *FunctionDeclaration*, *FunctionExpression*, *PropertyDefinition*, *ClassElement*, or *TypeMember*, known as the root declaration of the *ThisType*, as follows:
1842
+
The meaning of a *ThisType* depends on the closest enclosing *FunctionDeclaration*, *FunctionExpression*, *PropertyDefinition*, *ClassElement*, or *TypeMember*, known as the root declaration of the *ThisType*, as follows:
1843
1843
1844
1844
* When the root declaration is an instance member or constructor of a class, the *ThisType* references the this-type of that class.
1845
1845
* When the root declaration is a member of an interface type, the *ThisType* references the this-type of that interface.
@@ -2305,7 +2305,7 @@ Types are required to be assignment compatible in certain circumstances, such as
2305
2305
* *S* or *T* is the Any type.
2306
2306
* *S* is the Undefined type.
2307
2307
* *S* is the Null type and *T* is not the Undefined type.
2308
-
* *S* or *T* is an enum type and* *the other is the primitive type Number.
2308
+
* *S* or *T* is an enum type andthe other is the primitive type Number.
2309
2309
* *S* is a string literal type and *T* is the primitive type String.
2310
2310
* *S* is a union type and each constituent type of *S* is assignable to *T*.
2311
2311
* *S* is an intersection type and at least one constituent type of *S* is assignable to *T*.
@@ -2325,7 +2325,7 @@ Types are required to be assignment compatible in certain circumstances, such as
2325
2325
* for parameter positions that are present in both signatures, each parameter type in *N* is assignable to or from the corresponding parameter type in *M*, and
2326
2326
* the result type of *M* is Void, or the result type of *N* is assignable to that of *M*.
2327
2327
* *M* is a string index signature of type *U*, and *U* is the Any type or *S* has an apparent string index signature of a type that is assignable to *U*.
2328
-
* *M* is a numeric index signature of type *U*, and *U* is the Any type or* S* has an apparent string or numeric index signature of a type that is assignable to *U*.
2328
+
* *M* is a numeric index signature of type *U*, and *U* is the Any type or *S* has an apparent string or numeric index signature of a type that is assignable to *U*.
2329
2329
2330
2330
When comparing call or construct signatures, parameter names are ignored and rest parameters correspond to an unbounded expansion of optional parameters of the rest parameter element type.
2331
2331
@@ -6275,9 +6275,9 @@ This appendix contains a summary of the grammar found in the main document. As d
0 commit comments