@Override
  public @NotNull DfType getDfType(@Nullable DfaVariableValue qualifier) {
    return DfTypes.typedObject(getType(qualifier), Nullability.NOT_NULL);
  }
@Override
  public @NotNull DfType getDfType(@Nullable DfaVariableValue qualifier)