Bounded type parameters with export

[SimonGuilloud]

Compiler version

3.3.1, 3.2.1

Minimized code

trait M1 {
  trait A
  trait F[T<:A]
}

object M2 extends M1

trait Test{
  export M2.*
  def y: F[A]
}

Output

Type argument Test.this.A does not conform to upper bound M1.this.A

Expectation

No error.

If the bound T<:A is in a function rather than a trait, compiles. If export is replaced by import, compiles. If F is defined in M2, compiles. If F is a class rather than a trait, does not compile

[scala-center-bot]

This issue was picked for the Issue Spree No. 37 of 03 October 2023 which takes place in 7 days. @mbovel, @iusildra, @hamzaremmal, @jan-pieter will be working on it. If you have any insight into the issue or guidance on how to fix it, please leave it here.