Uploaded image for project: 'Groovy'
  1. Groovy
  2. GROOVY-10714

STC can't distinguish overloads

    XMLWordPrintableJSON

Details

    • Bug
    • Status: Resolved
    • Minor
    • Resolution: Fixed
    • 4.0.4
    • 4.0.5
    • Static compilation
    • None

    Description

      This appears to be similar to GROOVY-9881, but it's specifically in the method-overload procedure. Given a functional value type with two method overloads:

      interface Try<T> {
        Try<T> andThenTry(Consumer<? super T>)
        Try<T> andThenTry(Runnable)
      }
      

      When this code is invoked from static code, the STC errors out on an ambiguous method reference even if the method type isn't:

      // AWS SDK 2 DynamoDbTable
      class DynamoDbTable {
        void putItem(PutItemRequest<T>)
        void putItem(Consumer<PutItemRequest.Builder<T>)
        void putItem(T)
      }
      
      
      @CompileStatic
      class MyServiceClass {
        void doThing() {
          Try.success(putItemRequest())
            .andThenTry(table::putItem) // T for Try<T> is PutItemRequest<I>
        }
      }
      

      produces

      [Static type checking] - Reference to method is ambiguous. Cannot choose between [Try<T> Try#andThenTry(Consumer<? super T>), Try<T> Try#andThenTry(Runnable)]
      

      I think this may have something to do with the relaxed SAM matching that is used to bridge ambiguous closure syntax, but when a plain method reference is used, there's no ambiguity available.

      Attachments

        Issue Links

          Activity

            People

              emilles Eric Milles
              chrylis Christopher Smith
              Votes:
              0 Vote for this issue
              Watchers:
              2 Start watching this issue

              Dates

                Created:
                Updated:
                Resolved: