fix: simplify types before checking if implicit is underspecified#24659

hamzaremmal wants to merge 2 commits intoscala:mainscala/scala3:mainfrom

hamzaremmal:i21304hamzaremmal/scala3:i21304Copy head branch name to clipboard