You are viewing a plain text version of this content. The canonical link for it is here.
Posted to notifications@groovy.apache.org by "Eric Milles (Jira)" <ji...@apache.org> on 2019/12/13 20:14:00 UTC

[jira] [Commented] (GROOVY-9338) STC: no error for incorrect bounds match

    [ https://issues.apache.org/jira/browse/GROOVY-9338?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16995879#comment-16995879 ] 

Eric Milles commented on GROOVY-9338:
-------------------------------------

Note: the [workaround for GROOVY-6095|http://github.com/apache/groovy/blob/GROOVY_2_5_X/src/main/java/org/codehaus/groovy/ast/GenericsType.java#L446] is why this gets a pass.  

> STC: no error for incorrect bounds match
> ----------------------------------------
>
>                 Key: GROOVY-9338
>                 URL: https://issues.apache.org/jira/browse/GROOVY-9338
>             Project: Groovy
>          Issue Type: Bug
>    Affects Versions: 3.0.0-rc-2
>            Reporter: Eric Milles
>            Priority: Major
>
> Consider the following:
> {code:groovy}
> @groovy.transform.CompileStatic
> class C {
>   void x(Class<? extends CharSequence> c) {
>   }
>   void y() {
>     def t = (Class<?>) String.class
>     x(t) // should be error for <?> not satisfying <? extends CharSequence>
>   }
> }
> {code}



--
This message was sent by Atlassian Jira
(v8.3.4#803005)