[jira] [Created] (GROOVY-10978) LUB of Type and Type

["Eric Milles (Jira)" <ji...@apache.org>]

Eric Milles created GROOVY-10978:
------------------------------------

             Summary: LUB of Type<T extends Something> and Type<? extends Something>
                 Key: GROOVY-10978
                 URL: https://issues.apache.org/jira/browse/GROOVY-10978
             Project: Groovy
          Issue Type: Bug
            Reporter: Eric Milles
            Assignee: Eric Milles


Follow up to GROOVY-10756.  Blending wildcard and unresolved parameterized type is incomplete.

Consider the following:
{code:groovy}
            interface Handle {
                int getCount()
            }
            class HandleContainer<H extends Handle> {
                H handle
            }
            interface Input {
                HandleContainer<? extends Handle> getResult(key)
            }
            interface State {
                def <X extends Handle> HandleContainer<X> getResult(key)
            }

            void test(Input input, State state) {
                def container = state.getResult('k') ?: input.getResult('k') // HERE: HandleContainer<# extends Handle> and HandleContainer<? extends Handle>
                Handle handle = container.handle
                Integer count = handle.count
                assert count == 1
            }

            Handle h = {->1}
            def c = new HandleContainer(handle: h)
            test({k->c} as Input, {k->c} as State)
{code}



--
This message was sent by Atlassian Jira
(v8.20.10#820010)