Inferred generic type in macro is inconsistent between Scala 2.13 and Scala 3

[andrzejressel]

Compiler version

• 3.6.3
• 3.7.0-RC3

Minimized code

https://github.com/andrzejressel/generic-type-in-macro-bug-report

Output

Scala 2.13

Invariant type T is: String
Covariant type T is: Nothing
Contravariant type T is: Any
Wrapper invariant type T is: String
Wrapper covariant type T is: Nothing
Wrapper contravariant type T is: String

Scala 3

Invariant type T is: java.lang.String
Covariant type T is: java.lang.String
Contravariant type T is: java.lang.String
Wrapper invariant type T is: java.lang.String
Wrapper covariant type T is: scala.Nothing
Wrapper contravariant type T is: scala.Any

Expectation

I would expect them to look the same - in my case the issue is with Wrapper contravariant type losing type in Scala 3.

[Gedochao]

@jchyb is this expected?