[GROOVY-9800] Log generic mismatches extensively

• Type: Improvement
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 3.0.6
• Fix Version/s: 4.0.0-beta-1
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Christopher Smith
• Created: 30/Oct/20 00:26
• Updated: 03/Feb/22 22:34
• Resolved: 19/Apr/21 02:11

Description

Currently, when the static type checker detects a mismatch in generic bounds, it outputs a message of the form

Groovy:[Static type checking] - Cannot call <D> io.vavr.control.Either <com.example.JsonApiErrorResponse, com.example.JsonApiDataResponse>#toResponseEntity() with arguments []

In this case, both JsonApiErrorResponse and JsonApiDataResponse are generic types themselves. It would be helpful for debugging (either identifying STC problems or realizing where my own errors are) if the error message output the actual bounds involved. As it is, it's unclear exactly what the STC doesn't like about my pipeline, and in some of these cases it appears that it may be having trouble solving nested generics.