Allow extending from any #14935

sandersn · 2017-03-30T15:24:36Z

Extending from any adds an index signature: [s: string]: any to both the
instance and static sides of the class.

Extending from any adds an index signature: [s: string]: any to both the instance and static sides of the class.

Also improve how the string indexer for any-inheriting types is added.

alfaproject · 2017-03-31T21:37:57Z

tests/baselines/reference/extendFromAny.js

+}
+
+let c = new C();
+c.known.length; // error, 'real' has no 'length' property


real / sreal

sandersn · 2017-04-05T20:05:26Z

@yuit @andy-ms mind taking a look?

DanielRosenwasser · 2017-04-05T20:44:07Z

src/compiler/checker.ts

@@ -4617,7 +4617,7 @@ namespace ts {
                    error(type.symbol.valueDeclaration, Diagnostics._0_is_referenced_directly_or_indirectly_in_its_own_base_expression, symbolToString(type.symbol));
                    return type.resolvedBaseConstructorType = unknownType;
                }
-                if (baseConstructorType !== unknownType && baseConstructorType !== nullWideningType && !isConstructorType(baseConstructorType)) {
+                if (baseConstructorType !== anyType && baseConstructorType !== unknownType && baseConstructorType !== nullWideningType && !isConstructorType(baseConstructorType)) {


Hard for me to look up right now whether unknownType includes it, could you check for TypeFlags.Any?

Just check unknownType and anyType both have TypeFlags.Any

Includes anyType, autoType, unknownType. Seems like it should work.

yuit · 2017-04-05T21:14:59Z

src/compiler/checker.ts

        // object types.
        function isValidBaseType(type: Type): boolean {
-            return type.flags & (TypeFlags.Object | TypeFlags.NonPrimitive) && !isGenericMappedType(type) ||
+            return !!(type.flags & TypeFlags.Any) ||
+                type.flags & (TypeFlags.Object | TypeFlags.NonPrimitive) && !isGenericMappedType(type) ||


should this just be type.flags & (TypeFlags.Object | TypeFlags.NonPrimitive | TypeFlags.Any)

I think it should work, although it's kind of a weird pun in that we rely on !isGenericMappedType(anyType) being true.

yuit · 2017-04-05T21:18:38Z

src/compiler/checker.ts

@@ -5130,7 +5134,9 @@ namespace ts {
                    addInheritedMembers(members, getPropertiesOfType(instantiatedBaseType));
                    callSignatures = concatenate(callSignatures, getSignaturesOfType(instantiatedBaseType, SignatureKind.Call));
                    constructSignatures = concatenate(constructSignatures, getSignaturesOfType(instantiatedBaseType, SignatureKind.Construct));
-                    stringIndexInfo = stringIndexInfo || getIndexInfoOfType(instantiatedBaseType, IndexKind.String);
+                    stringIndexInfo = stringIndexInfo || (instantiatedBaseType === anyType ?


nit: would it be easier to read this way:

if (!stringIndexInfo) { stringIndexInfo = instantiatedBaseType === anyType ? createIndexInfo(anyType, /*isReadonly*/ false) : getIndexInfoOfType(instantiatedBaseType, IndexKind.String); }

I guess so. Done.

ghost · 2017-04-05T21:29:30Z

I wonder if anything from #12352 could be simplified now.
At least the comment about getBaseConstructorTypeOfClass could be updated.

ghost · 2017-04-05T21:36:20Z

src/compiler/checker.ts

@@ -4662,6 +4662,9 @@ namespace ts {
                // type arguments in the same manner as a type reference to get the same error reporting experience.
                baseType = getTypeFromClassOrInterfaceReference(baseTypeNode, baseConstructorType.symbol);
            }
+            else if (baseConstructorType.flags & TypeFlags.Any) {
+                baseType = anyType;


Could you leave a comment saying why it is necessary to set it to anyType instead of baseConstructorType?

There's no good reason; in fact it reduces test churn to return baseConstructorType for tests that extend undefined variables, which I think get unknownType instead of anyType, meaning that you get slightly more errors.

I'll change it to baseConstructorType.

Returns several baselines to their original states.

sandersn · 2017-04-05T22:07:54Z

@andy-ms Maybe? I don't understand the differences between using unknownSymbol (which I guess has unknownType) for a missing module vs creating a synthetic symbol. Did the synthetic symbol get created solely for error reporting?

Seems like it would be worth reverting #12352 to see how it behaves, because I'm not able to predict much about module behaviour a priori.

ghost · 2017-04-05T22:31:47Z

OK, we can try reverting #12352 later.
But please update this comment:

// This must be different than unknownSymbol because getBaseConstructorTypeOfClass won't fail for unknownSymbol.

Extending symbols from untyped modules is no longer an error, so #12532 didn't get us anything except slightly better quick info.

sandersn · 2017-04-05T23:03:57Z

Reverting #12352 turned out to be straightforward, so I ended up merging that branch back into this PR.

ghost · 2017-04-05T23:21:31Z

src/compiler/checker.ts

@@ -1333,7 +1331,7 @@ namespace ts {
            if (targetSymbol) {
                const name = specifier.propertyName || specifier.name;
                if (name.text) {
-                    if (isUntypedOrShorthandAmbientModuleSymbol(moduleSymbol)) {
+                    if (isShorthandAmbientModuleSymbol(moduleSymbol)) {


I like the old name better, even if it's a bit long.

Test asserts that unused locals error works for untyped modules. Comment no longer claims to check for untyped modules.

sandersn added 5 commits March 29, 2017 15:29

Allow extending from any

f1c1969

Extending from any adds an index signature: [s: string]: any to both the instance and static sides of the class.

Improve handling of any as a base type

765ac7c

Also improve how the string indexer for any-inheriting types is added.

Test: extending from any

650cc29

Update baselines

3624417

Re-swap mistakenly swapped lines of code

41eabbc

msftclas added the cla-not-required label Mar 30, 2017

alfaproject reviewed Mar 31, 2017

View reviewed changes

sandersn assigned yuit and ghost Apr 5, 2017

Update test comments to match property names

e09533d

DanielRosenwasser reviewed Apr 5, 2017

View reviewed changes

Check TypeFlags.Any instead of anyType&unknownType

7f6c49e

yuit reviewed Apr 5, 2017

View reviewed changes

ghost reviewed Apr 5, 2017

View reviewed changes

sandersn added 2 commits April 5, 2017 14:41

A few changes requested by review comments

75f1774

Unknown bases return baseConstructorType, not anyType

7e3c033

Returns several baselines to their original states.

yuit approved these changes Apr 5, 2017

View reviewed changes

Update comment

441e54c

sandersn mentioned this pull request Apr 5, 2017

Synthetic symbol introduced by #12352 is not needed when extending from any is allowed #15040

Closed

Remove special symbol for untyped modules

90d5c29

Extending symbols from untyped modules is no longer an error, so #12532 didn't get us anything except slightly better quick info.

ghost reviewed Apr 5, 2017

View reviewed changes

Improve test and comments

f635042

Test asserts that unused locals error works for untyped modules. Comment no longer claims to check for untyped modules.

ghost approved these changes Apr 6, 2017

View reviewed changes

sandersn merged commit 3029b8f into master Apr 6, 2017

sandersn deleted the allow-extending-from-any branch April 6, 2017 16:18

ghost mentioned this pull request Jul 8, 2017

Can't call 'super' when extending from 'any' #17032

Closed

microsoft locked and limited conversation to collaborators Jun 21, 2018

typescript-bot unassigned yuit Jun 21, 2018

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Allow extending from any #14935

Allow extending from any #14935

sandersn commented Mar 30, 2017 •

edited

Loading

alfaproject Mar 31, 2017

sandersn commented Apr 5, 2017

DanielRosenwasser Apr 5, 2017 •

edited

Loading

yuit Apr 5, 2017

sandersn Apr 5, 2017

sandersn Apr 5, 2017

yuit Apr 5, 2017 •

edited

Loading

sandersn Apr 5, 2017

yuit Apr 5, 2017

sandersn Apr 5, 2017

ghost commented Apr 5, 2017 •

edited by ghost

Loading

ghost Apr 5, 2017

sandersn Apr 5, 2017

sandersn commented Apr 5, 2017

ghost commented Apr 5, 2017

sandersn commented Apr 5, 2017

ghost Apr 5, 2017 •

edited by ghost

Loading

Allow extending from any #14935

Allow extending from any #14935

Conversation

sandersn commented Mar 30, 2017 • edited Loading

Choose a reason for hiding this comment

sandersn commented Apr 5, 2017

DanielRosenwasser Apr 5, 2017 • edited Loading

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

yuit Apr 5, 2017 • edited Loading

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

ghost commented Apr 5, 2017 • edited by ghost Loading

Choose a reason for hiding this comment

Choose a reason for hiding this comment

sandersn commented Apr 5, 2017

ghost commented Apr 5, 2017

sandersn commented Apr 5, 2017

ghost Apr 5, 2017 • edited by ghost Loading

Choose a reason for hiding this comment

sandersn commented Mar 30, 2017 •

edited

Loading

DanielRosenwasser Apr 5, 2017 •

edited

Loading

yuit Apr 5, 2017 •

edited

Loading

ghost commented Apr 5, 2017 •

edited by ghost

Loading

ghost Apr 5, 2017 •

edited by ghost

Loading