TODO: Need to visit type bounds in duplicator about miniboxing-plugin HOT 1 CLOSED

sun@sun-laptop:/mnt/data-local/Work/Workspace/dev/miniboxing-plugin/sandbox(topic/erasure-rebase)$ cat gh-bug-36.scala 
package miniboxing.tests.compile.bug36

// https://github.com/miniboxing/miniboxing-plugin/issues/36

trait VectorLike[@miniboxed E, +Self <: Vector[E]]
trait Vector[E] extends VectorLike[E, Vector[E]]

sun@sun-laptop:/mnt/data-local/Work/Workspace/dev/miniboxing-plugin/sandbox(topic/erasure-rebase)$ ../mb-scalac gh-bug-36.scala -Xprint:minibox-dupl -Ycheck:minibox-dupl 
[[syntax trees at end of              minibox-dupl]] // gh-bug-36.scala
package miniboxing.tests.compile.bug36 {
  abstract trait VectorLike[@miniboxed E >: Nothing <: Any, Self >: Nothing <: miniboxing.tests.compile.bug36.Vector[E]] extends Object;
  abstract trait Vector[E >: Nothing <: Any] extends Object with miniboxing.tests.compile.bug36.VectorLike_L[E,miniboxing.tests.compile.bug36.Vector[E]];
  abstract trait VectorLike_J[Esp >: Nothing <: Any, Selfsp >: Nothing <: miniboxing.tests.compile.bug36.Vector[E]] extends Object with miniboxing.tests.compile.bug36.VectorLike[Esp,Selfsp] {
    def miniboxing|tests|compile|bug36|VectorLike_J|E_TypeTag(): Byte
  };
  abstract trait VectorLike_L[Esp >: Nothing <: Any, Selfsp >: Nothing <: miniboxing.tests.compile.bug36.Vector[E]] extends Object with miniboxing.tests.compile.bug36.VectorLike[Esp,Selfsp]
}

[Now checking: minibox-dupl]
[check: minibox-dupl] The symbol, tpe or info of tree `(miniboxing.tests.compile.bug36.VectorLike_L[E,miniboxing.tests.compile.bug36.Vector[E]]) : [Esp, +Selfsp <: miniboxing.tests.compile.bug36.Vector[E]]miniboxing.tests.compile.bug36.VectorLike[Esp,Selfsp]` refers to a out-of-scope symbol, type E in trait VectorLike. tree.symbol.ownerChain: trait VectorLike_L, package bug36, package compile, package tests, package miniboxing, package <root>
[check: minibox-dupl] The symbol, tpe or info of tree `(abstract trait VectorLike_J[Esp >: Nothing <: Any, Selfsp >: Nothing <: miniboxing.tests.compile.bug36.Vector[E]] extends Object with miniboxing.tests.compile.bug36.VectorLike[Esp,Selfsp] {
  def miniboxing|tests|compile|bug36|VectorLike_J|E_TypeTag(): Byte
}) : [Esp, +Selfsp <: miniboxing.tests.compile.bug36.Vector[E]]miniboxing.tests.compile.bug36.VectorLike[Esp,Selfsp]{def miniboxing|tests|compile|bug36|VectorLike_J|E_TypeTag(): Byte}` refers to a out-of-scope symbol, type E in trait VectorLike. tree.symbol.ownerChain: trait VectorLike_J, package bug36, package compile, package tests, package miniboxing, package <root>
[check: minibox-dupl] The symbol, tpe or info of tree `(type Selfsp <: miniboxing.tests.compile.bug36.Vector[E]) :  <: miniboxing.tests.compile.bug36.Vector[E]` refers to a out-of-scope symbol, type E in trait VectorLike. tree.symbol.ownerChain: type Selfsp, trait VectorLike_J, package bug36, package compile, package tests, package miniboxing, package <root>
[check: minibox-dupl] The symbol, tpe or info of tree `(abstract trait VectorLike_L[Esp >: Nothing <: Any, Selfsp >: Nothing <: miniboxing.tests.compile.bug36.Vector[E]] extends Object with miniboxing.tests.compile.bug36.VectorLike[Esp,Selfsp]) : [Esp, +Selfsp <: miniboxing.tests.compile.bug36.Vector[E]]miniboxing.tests.compile.bug36.VectorLike[Esp,Selfsp]` refers to a out-of-scope symbol, type E in trait VectorLike. tree.symbol.ownerChain: trait VectorLike_L, package bug36, package compile, package tests, package miniboxing, package <root>
[check: minibox-dupl] The symbol, tpe or info of tree `(type Selfsp <: miniboxing.tests.compile.bug36.Vector[E]) :  <: miniboxing.tests.compile.bug36.Vector[E]` refers to a out-of-scope symbol, type E in trait VectorLike. tree.symbol.ownerChain: type Selfsp, trait VectorLike_L, package bug36, package compile, package tests, package miniboxing, package <root>
warning: TreeCheckers detected non-compliant trees in gh-bug-36.scala
one warning found