Consider the following:

class C {
  int m() {}
  int p
}

@TypeChecked
void test(List<C> list) {
  def integers = list*.m()
}

Hover for "integers" shows List<int> when List<Integer> is expected. Hover for "m" or "getP" shows List<int> when int is expected.