Mark the type of lifted definitions as inferred#24104

noti0na1 merged 3 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:fix-24101dotty-staging/dotty:fix-24101Copy head branch name to clipboard