Bug 577351

Description Manoj N Palat 2021-11-19 02:18:28 EST

---
import java.util.Objects;

public final class TimeSeries<T> {
  public record Data<T>(long timestamp, T element) {
    public Data {
      Objects.requireNonNull(element);
    }
    @Override
    public String toString() {
      return timestamp + " | " + element;
    }
  }
}

---
import static org.junit.jupiter.api.Assertions.assertThrows;

public class TimeSeriesTest {
  @org.junit.jupiter.api.Test
  public void test() {
assertThrows(NullPointerException.class, () -> new TimeSeries.Data<>(0, null));  
  }
}

Thanks to Remi Forax for providing the test case

two classes in two separate files.

in the method test(), the inference using the diamond syntax fails but it should not.