[jdk8u-dev] RFR: 8265527: tools/javac/diags/CheckExamples.java fails after JDK-8078024 8u backport

[Severin Gehwolf]

On Mon, 24 Oct 2022 09:46:35 GMT, Severin Gehwolf <sgehwolf at openjdk.org> wrote:

>> Enabled and ran tests. DoubleAgentTest fails on Windows, but this is a known problem I guess?
>
>> Enabled and ran tests. DoubleAgentTest fails on Windows, but this is a known problem I guess?
> 
> Yes, thanks! Should be fixed with: https://github.com/openjdk/jdk8u-dev/commit/58d0281c52f8c1e9642c6fc5bd696235498b0ae2 If you do a merge from master, it should go away.

> @jerboaa I tested this change by creating branch in my fork where I applied this changeset and enabled langtools_tier1 testing in GHA. It passed on all platforms [1] (including problematic test).
> 
> When it comes to compiler messages. I checked compiler messages for jdk8 and jdk11, they are indeed different, but both variants seem OK to me. For reference: jdk8
> 
> ```
> javac WhereIntersection.java
> WhereIntersection.java:36: error: incompatible types: inference variable T has incompatible bounds
>         return f(a, b);
>                 ^
>     upper bounds: Object[],Object
>     lower bounds: Float,Integer
>   where T is a type-variable:
>     T extends Object declared in method <T>f(T,T)
> 1 error
> ```
> 
> jdk11
> 
> ```
> javac WhereIntersection.java
> WhereIntersection.java:36: error: incompatible types: inferred type does not conform to upper bound(s)
>         return f(a, b);
>                 ^
>     inferred: INT#1
>     upper bound(s): Object[],Object
>   where INT#1,INT#2 are intersection types:
>     INT#1 extends Number,Comparable<? extends INT#2>
>     INT#2 extends Number,Comparable<?>
> 1 error
> ```
> 
> [1] https://github.com/zzambers/jdk8u-dev/commits/check-examples-test

Thanks!

-------------

PR: https://git.openjdk.org/jdk8u-dev/pull/146