Constructor Proxies not visible to extension *only* when the extension is exported from

[bishabosha]

A constructor proxy is not visible to an extension method that is exported from

Compiler version

3.2.0

Minimized code

object Foo:
  class Wrap(a: String):
    def wow = s"$a - WOW!"
  extension (s: String)
    private def wrap = Wrap(s)
    export wrap.* // comment this line and it works

Output

-- [E006] Not Found Error: foo.scala:5:23 --------------------------------------
5 |    private def wrap = Wrap(s)
  |                       ^^^^
  |                       Not found: Wrap
  |
  | longer explanation available when compiling with `-explain`
1 error found

Expectation

No error, like when I remove the export

[odersky]

It looks like constructor proxies have not yet been created when the extension method is processed. It does work if the wrapper and the extension methods are in different classes.

object Foo:
  class Wrap(a: String):
    def wow = s"$a - WOW!"

object Bar:
  import Foo.Wrap
  extension (s: String)
    private def wrap = Wrap(s)
    export wrap.* // comment this line and it works

I don't think I'll have the time to change that situation.