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);
}

Start with TypeScript's codefix/refactoring entry point and review the explicit and implicit any examples in the issue. Define the supported use-site inference cases and expected replacement types, then add focused tests showing that the refactoring is offered and produces the requested annotations.