@Nullable
  @Override
  PsiType getType(@Nullable DfaVariableValue qualifier) {
    return getSubstitutor(myGetter, qualifier).substitute(myGetter.getReturnType());
  }
@Nullable
  @Override
  PsiType getType(@Nullable DfaVariableValue qualifier)