[GROOVY-10978] LUB of Type<T extends Something> and Type<? extends Something>

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.5.21, 3.0.16, 4.0.10
• Fix Version/s: 2.5.22, 3.0.17, 4.0.11
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 17/Mar/23 16:34
• Updated: 05/Apr/23 02:44
• Resolved: 17/Mar/23 16:45

Description

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

Consider the following:

            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)