push distributivity rule to source future#24376

hamzaremmal merged 1 commit intoscala:mainscala/scala3:mainfrom

hamzaremmal:distributivityhamzaremmal/scala3:distributivityCopy head branch name to clipboard