@ConfigProperty defaultValue marked wrongly as an error ...'does not match expected type of '... despite fact that correct org.eclipse.microprofile.config.spi.Converter exists

[mariankassovic]

Validation incorrectly reports:
'00:00' does not match the expected type of 'LocalTime'.

despite fact that there is defined org.eclipse.microprofile.config.spi.Converter for LocalTime

  @Inject
  @ConfigProperty(name = "startTime", defaultValue = "00:00")
  private LocalTime startTime;

converter is implemented as simple as

import java.time.LocalTime;

import org.eclipse.microprofile.config.spi.Converter;

public class LocalTimePropertyConverter implements Converter<LocalTime> {
  @Override
  public LocalTime convert(String value) {
    return LocalTime.parse(value);
  }
}

code works as expected, compiles and junits works as well - only validation reports incorrect error.

[angelozerr]

We should have the same problem in JDT. If I remember we skip converter because it is not an easy task to support them and we take care of simple type without converter.

I dont know if it will be easy to support this issue.