Contextual type of 'any' should be ignored

[sandersn]

getContextuallyTypedParameterType should return undefined instead of any

let x: { f(a, b): any, g(): any } = {
 f: (a = "none", b) => a.length, 
 g: (a = "none", b) { return a.length }
}

For both f and g, the parameter a: any but should be a: string.

I also ran into this with implemented/inherited functions in PR #6118.

[RyanCavanaugh]

I don't think that's correct. In this example (slightly modified):

let x: { f(a: any, b: any): any, g(): any } = {
 f: (a = "none", b) => a.length, 
 g: (a = "none", b) { return a.length }
}

... you shouldn't see any implicit any warnings, which would happen if getContextuallyTypedParameterType return undefined

[sandersn]

Maybe it should be handled above (getTypeForVariableLikeDeclaration) or below (getTypeAtPosition) then.

[mhegazy]

i agree with Ryan Cavanaugh (@RyanCavanaugh) this is by design.