groovy

Static type checker complains on assignment on generics fields

Details

  • Type: Bug Bug
  • Status: Closed Closed
  • Priority: Major Major
  • Resolution: Fixed
  • Affects Version/s: None
  • Fix Version/s: 2.0-beta-3
  • Component/s: Static Type Checker
  • Labels:
    None
  • Number of attachments :
    0

Description

The static type checker complains on the following class:

@groovy.transform.TypeChecked
class Container<T> {
    private T initialValue
    Container(T initialValue) { this.initialValue = initialValue }
    T get() { initialValue }
}

With the message:

[Static type checking] - Incompatible generic argument types. Cannot assign java.lang.Object <T> to: java.lang.Object <T>
 at line: 4, column: 33

Activity

Ascending order - Click to sort in descending order
Hide
Permalink
Paul King added a comment -

see also lines 85-88 of org.codehaus.groovy.ast.GenericsType which might be fixed by a solution to this problem - running stub generator tests should verify whether fixed after removing lines 85-88

Show
Paul King added a comment - see also lines 85-88 of org.codehaus.groovy.ast.GenericsType which might be fixed by a solution to this problem - running stub generator tests should verify whether fixed after removing lines 85-88
Hide
Permalink
Cedric Champeau added a comment -

Resolution is not related to the lines GenericsType#85-88 though.

Show
Cedric Champeau added a comment - Resolution is not related to the lines GenericsType#85-88 though.

People

  • Assignee:
    Cedric Champeau
    Reporter:
    Guillaume Laforge
Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: