Thank you for considering the feedback! I am optimistic that we can find a good path forward.
Note though that the one reported here still compiles in Dotty (at this moment in time).
That one throws conversion to
Unit in the mix. It should be easy to exclude on top of the rules we have.