Fix #5488: properly unpickle RecTypes#5514

odersky merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-unpickling-rectypedotty-staging/dotty:fix-unpickling-rectypeCopy head branch name to clipboard