`infix` modifier lost when exporting a method/type

[soronpo]

Compiler version

3.4.0-RC1-bin-20231207-16f1680-NIGHTLY

Minimized code

object Extensions:
  extension (arg1: Int) infix def X (arg2: Int): Int = arg1 * arg2
  infix type X[A, B]
export Extensions.*
val x = 1 X 2
type Foo = Int X Int

Output

Alphanumeric method X is not declared infix; it should not be used as infix operator.
Instead, use method syntax .X(...) or backticked identifier `X`.
The latter can be rewritten automatically under -rewrite -source 3.4-migration.
Alphanumeric type X is not declared infix; it should not be used as infix operator.
Instead, use prefix syntax X[...] or backticked identifier `X`.
The latter can be rewritten automatically under -rewrite -source 3.4-migration.

Expectation

No warning.

[mbovel]

@bishabosha could I use this issue for a spree?

[bishabosha]

@mbovel that sounds like a good idea!

[soronpo]

Related issue is when exporting an identifier with annotations:
#19516

[scala-center-bot]

This issue was picked for the Issue Spree No. 42 of February 6th, 2024. @natsukagami, @kyouko-taiga, @hamzaremmal will be working on it. If you have any insight into the issue or guidance on how to fix it, please leave it here.