Always fully define the types of lifted expressions#823

smarter merged 2 commits intoscala:masterscala/scala3:masterfrom

smarter:fix/lifting-and-inferencesmarter/dotty:fix/lifting-and-inferenceCopy head branch name to clipboard