[GROOVY-11241] Regression in STC generics solution

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 4.0.16
• Fix Version/s: 3.0.20, 5.0.0-alpha-4, 4.0.17
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Christopher Smith
• Created: 01/Dec/23 17:08
• Updated: 04/Jan/24 21:19
• Resolved: 06/Dec/23 16:36

Description

The following code, which works in 4.0.14 and below, incorrectly produces an error in 4.0.16.

Expected result: mapTry(Option::get) unwraps the Try<Option<Integer>> into a Try<Integer>

https://www.javadoc.io/doc/io.vavr/vavr/0.10.4/io/vavr/control/Try.html

Actual:

[Static type checking] - Incompatible generic argument types. Cannot assign io.vavr.control.Try<io.vavr.control.Option<java.lang.Integer>> to: io.vavr.control.Try<java.lang.Integer>

import groovy.transform.CompileStatic
import io.vavr.control.Option
import io.vavr.control.Try

@Grab('io.vavr:vavr:0.10.4')
@CompileStatic
class Repro {
    Option<Integer> option() {
        Option.of(3)
    }

    Try<Integer> repro() {
        Try.of { option() }
            .mapTry(Option::get)
    }
}

Issue Links

• relates to: GROOVY-11259 STC loses generic information on method references