[GROOVY-7135] non-existing method use with super passes type checker in trait

• Type: Bug
• Status: Open
• Priority: Major
• Resolution: Unresolved
• Affects Version/s: 2.3.7, 2.4.0-beta-3
• Component/s: Static Type Checker
• Labels: trait traits
• Assignee: Unassigned
• Reporter: Jochen Theodorou
• Created: 28/Oct/14 09:44
• Updated: 31/Jul/23 18:35

Description

If a trait uses "super.foo()" then this passes the compiler even if there is no foo method defined in the hierarchy of the current trait. Example :

@groovy.transform.CompileStatic
trait B {
    void bar(){super.foo()}
}
class X implements B{}
new X().bar()

The compiler should complain for about the super.foo() call

Issue Links

• is duplicated by: GROOVY-8021 Super in traits causes MissingMethodException