RFR: fixing bugs in inference and type system more regression tests

[Vicente Romero]

On Fri, 18 Feb 2022 11:06:24 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> Looks good. I think we should add more tests - e.g. you want to check that, given two primitive types P1 and P2 which both extend a common superinterface I, then:
> 
>     * lub(P1, P2) == lub(P1, I) == lub(P2, I) == I.
> 
>     * lub(P1, P1.ref) = P1.ref
> 
>     * glb(P1, P1.ref) = P1
> 
>     * glb(P1, I) == P1
> 
>     * glb(P1.ref, I) == P1.ref
> 
>     * glb(P2, I) == P2
> 
>     * glb(P2.ref, I) == P2.ref



> :

sure, I will add more tests before pushing, thanks

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

PR: https://git.openjdk.java.net/valhalla/pull/654