Re-establish missing symbol from previous phase (in one specific case)#15295

Merged

odersky merged 1 commit intoscala:mainfrom

dotty-staging:fix-15158

May 31, 2022

Commits on May 26, 2022

Re-establish missing symbol from previous phase (in one specific case)
odersky
committed