Not inference type of subclass method's argument when --noimplicitAny.

[GongT]

TypeScript Version: 2.7.0-dev.20180118

Search Terms: type inference, noimplicitAny

Code

interface ITest { a: number; }
abstract class Base {
	protected abstract handle(foo: ITest): void;
}
class Child extends Base {
	handle(bar) { }
}

Expected behavior:
argument bar will have infered type ITest

Actual behavior:
error TS7006: Parameter 'bar' implicitly has an 'any' type.

Playground Link: Link

---

I know the bar can have any type implements ITest, but the strange thing is:
When I remove --noimplicitAny, tsserver will tell me bar has a a property. But with --noimplicitAny, tsserver can not tell me any thing but an error.

If bar can not have any other type do not implements ITest, why not infer bar as ITest?

[AngryPowman]

It's very helpful to me

When I remove --noimplicitAny, tsserver will tell me bar has a a property.

Are you sure? When I tried this without --noImplicitAny it's just any, and there are no completions at all.

[RyanCavanaugh]

Duplicate #1373

[GongT]

@Andy-MS

OK, I found that WebStorm's auto completion are proveided by it's own "JavaScriptLanguage", not tsserver by typescript package.

When I use plain tsserver, bar is just any. no completions.