No compiler error for class that implements interfaces with duplicated default methods

Consider the following:

package p;
public interface A {
  default void m() {}
}
public interface B {
  default void m() {}
}

class C implements p.A, p.B {
  void test() {
    m()
  }
}

groovyc does not detect that m() must be overridden to resolve the conflict. javac does produce an error, but it is still possible to import the interfaces from libraries and not trigger joint compilation.