[GROOVY-10051] STC: return type for unresolved placeholder with bound resolved to Object

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 4.0.0-beta-1, 2.5.16, 3.0.10
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 22/Apr/21 19:27
• Updated: 01/Mar/22 20:06
• Resolved: 22/Apr/21 19:50

Description

Follow up from GROOVY-9033. Consider the following:

abstract class State<H extends Handle> {
    // Why not return HandleContainer<H>? I can't really say.
    def <T extends Handle> HandleContainer<T> getHandleContainer(key) {
    }
}
class HandleContainer<H extends Handle> {
    H handle
}
interface Handle {
    Result getResult()
}
class Result {
    int itemCount
    String[] items
}

List<String> getStrings(State state, List keys) {
    keys.collectMany { key ->
        List<String> strings = Collections.emptyList()
        def container = state.getHandleContainer(key) // returns HandleContainer<Object> not HandleContainer<Handle>
        if (container != null) {
            def result = container.handle.result
            if (result != null && result.itemCount > 0) {
                strings = Arrays.asList(result.items)
            }
        }
        strings
    }
}