Closed hamzaremmal closed 6 months ago
Part of https://github.com/lampepfl/dotty/pull/19839 and https://github.com/lampepfl/dotty/issues/19848
@bishabosha This PR too :-)
Part of https://github.com/lampepfl/dotty/pull/19839 and https://github.com/lampepfl/dotty/issues/19848