Java protected members overriding from Scala

[scabug]

Java class

 package aaa;

 public abstract class MyJavaClass {
     abstract protected int foo();
 }

Scala class

 package ccc

 import aaa.MyJavaClass

 class MyScalaClass extends MyJavaClass {
     protected def foo: Int = 42
 }

We cannot compile them together cause and get a compilation error
"Error:Error:line (6)error: error overriding method foo in class MyJavaClass
of type ()scala.this.Int;
method foo has weaker access privileges; it should be at least
protected[aaa]
protected def foo: Int = 42"

But if MyJavaClass is already compiled and added to appropriate classpath we can compile our MyScalaClass without any problems.

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-1469?orig=1
Reporter: @ilyasergey

[magnolia-k]

In recent Scala (at least 2.13, 2.12, 2.11), this code can be compiled.

[NthPortal]

thanks for verifying!