langtools/test/tools/javac/OverrideChecks/InconsistentReturn.java
author mcimadamore
Wed, 26 Oct 2016 15:41:25 +0100
changeset 41856 13a056e8f16e
parent 24797 850ebd4d80a7
permissions -rw-r--r--
8168774: Polymorhic signature method check crashes javac Summary: Check for polysig method assumes arity is greater than zero Reviewed-by: vromero

/*
 * @test    /nodynamiccopyright/
 * @bug     4041948
 * @summary javac previously allowed interfaces to inherit methods with
 *          inconsistent return types.
 * @author  turnidge
 *
 * @compile/fail/ref=InconsistentReturn.out -XDrawDiagnostics  InconsistentReturn.java
 */
interface I1{
  int f();
}
interface I2 {
  void f() ;
}
// error: Return types conflict.
interface InconsistentReturn extends I1,I2 { }