Closed hamzaremmal closed 6 months ago
Part of https://github.com/lampepfl/dotty/pull/19839 and https://github.com/lampepfl/dotty/issues/19848
this should wait right?
It is ready for approval, but it should not be merged until the transfer is done.
@bishabosha it would be great if you can review this before tomorrow :-)
Part of https://github.com/lampepfl/dotty/pull/19839 and https://github.com/lampepfl/dotty/issues/19848