Blaisorblade Merge pull request #4527 from dotty-staging/constant-expr-clarify …