Update wording of uninitialized value error to be grammatically correct

[Xavientois]

Update wording of uninitialized value error to be grammatically correct.

Instead of "May only use initialized value as arguments." it now says "Only initialized values may be used as arguments."

In theory, this should improve readability of error messages such as:

[error] 238 |  final val VoidRef = PrimRef(NoType)
[error]     |                              ^^^^^^
[error]     |Cannot prove that the value is fully-initialized. May only use initialized value as arguments.

Signed the CLA - @Xavientois

Review by @liufengyun

[som-snytt]

While you are in the neighborhood, it is ungrammatical to hyphenate fully-initialized.

Cannot prove that the value is fully initialized. Only initialized values can be used as arguments.

Here, I also took the liberty of upgrading "may" to "can". "May" implies mere permission, and also means "maybe", as in, "only initialized values might [turn out to] be used as arguments."

I wonder if I can find the "fully operational death star" meme.

[Xavientois]

Here, I also took the liberty of upgrading "may" to "can". "May" implies mere permission, and also means "maybe", as in, "only initialized values might [turn out to] be used as arguments."

I disagree with this interpretation. The word "may" in this context is common to denote permission specifically rather than possibility.

Nothing wrong with using "can" though, so I'm not against it. I do personally prefer "may" for how it sounds, but both work fine imo.

[Xavientois]

While you are in the neighborhood, it is ungrammatical to hyphenate fully-initialized.

I see what you mean. I would be open to changing that in a separate PR, but I would want to check with @liufengyun about that change. In this context, I believe the term might be hyphenated due to it referring specifically to the value being Hot as defined here as opposed to a less specific definition of "fully initialized" .

[som-snytt]

I do personally prefer "may"

By all means, stick with your gut feeling. "May" is fine. Also fine weather in May.

It's interesting that you understand hyphenation to have additional semantics. Obviously "American Swiss" is the cheese and "Swiss-American" is the immigrant or holder of dual passports.

The advantage of changing it now is just, so long as you're updating the check files for tests.

[som-snytt]

LGTM when there are fewer failures, I hope they agree.

FYI, I think they also accept push -f after squashing commits. That was desirable on Scala 2.

[liufengyun]

While you are in the neighborhood, it is ungrammatical to hyphenate fully-initialized.

I think it's fine to change it to fully initialized to be more friendly.

[liufengyun]

LGTM