Repository navigation
Quick info shows method with type any[] at declaration and string[] at use #16643
Description
TypeScript Version: nightly (2.5.0-dev.20170619)
Code
/// <reference path='fourslash.ts'/>
// @noImplicitAny: true
////interface I { m(): string[] }
////
////const i: I = {
//// /*1*/m() { return []; }
////}
////
////i./*2*/m();
verify.quickInfoAt("2", "(method) I.m(): string[]");
verify.quickInfoAt("1", "(method) m(): string[]");Expected behavior:
Test passes.
Actual behavior:
AssertionError: At 1: quick info text: expected '(method) m(): any[]' to equal '(method) m(): string[]'
Activity
DanielRosenwasser commentedon Jun 20, 2017
Here's what's happening here:
Imis contextually typed by the type of the propertymwithinImare contextually typed by the return type of themwithinIundefinedtype.JsonFreeman commentedon Jun 21, 2017
Would it be reasonable for an empty array literal with a contextual type to just acquire the element type as its own? Even if the contextual type isn't a tuple
That said, I think the current behavior is reasonable. After all, the method does return an empty array.
mhegazy commentedon Aug 17, 2017
Automatically closing this issue for housekeeping purposes. The issue labels indicate that it is unactionable at the moment or has already been addressed.