Add a refactoring that annotates an implicit or explicit any with a best guess type inferred from its use sites

I would very much appreciate having a codefix (refactoring) that, given an explicit any annotation, offers to change it to an {} annotation.

For example, given

function log(x: any) {
  console.log(x);
}

a code fix would be offered to change the declared type of x to {} resulting in

function log(x: {}) {
  console.log(x);
}

However, given

function log(x: any) {
  console.log(x.name);
}

a code fix would be offered to change the declared type of x to { name: any } resulting in

function log(x: {name: any}) {
  console.log(x);
}

[mhegazy]

Addressed by https://github.com/Microsoft/TypeScript/pull/14786

[zpdDG4gta8XKpMCd]

i gave it a second thought, i might be helpful if such code action looked for all places that call this function and tried to deduce the replacement type out of all possible arguments out there

// before
function log(value: any) {
}
log(1);
log('a');

// after code action
log(value: number | string) {
}
log(1);
log('a');