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 2025/05/13 12:53:00 UTC

[jira] [Updated] (GROOVY-11663) STC: trait extends trait and tries to use static field

     [ https://issues.apache.org/jira/browse/GROOVY-11663?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Eric Milles updated GROOVY-11663:
---------------------------------
    Component/s: Static Type Checker

> STC: trait extends trait and tries to use static field
> ------------------------------------------------------
>
>                 Key: GROOVY-11663
>                 URL: https://issues.apache.org/jira/browse/GROOVY-11663
>             Project: Groovy
>          Issue Type: Bug
>          Components: Static Type Checker
>            Reporter: Eric Milles
>            Assignee: Eric Milles
>            Priority: Minor
>
> Consider the following:
> {code:groovy}
> trait A{
>   public static final String BANG = '!'
> }
> @groovy.transform.TypeChecked
> trait B extends A {
>   static staticMethod() {
>     BANG
>   }
>   def method() {
>     BANG
>   }
> }
> class C implements B {
>   static main(args) {
>     staticMethod()
>     method()
>   }
> }
> {code}
> If the trait B is implemented and the methods are called, both produce MissingMethodException.  STC should catch this.



--
This message was sent by Atlassian Jira
(v8.20.10#820010)