fix #9276: check valdef is realizable at pickler#11843

bishabosha wants to merge 1 commit intoscala:masterscala/scala3:masterfrom

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