This code:

  class C {}
  main() {
    C c = new C();
    c.foo();
  }

produces the warning "The method 'foo' is not defined for the class 'C'", and provides the associated quick fix "Create method 'foo'", as expected.

This code:

  class C {}
  main() {
    var c = new C();
    c.foo();
  }

has a hint instead of a warning, as expected. However, it does not offer any quick fixes. It should offer the same quick fix as in the warning case.