Fixing completion detection for null-restricted variables and fixing behavior for incorrect null-restricted variables without an initializer.#1932
Conversation
…behavior for incorrect null-restricted variables without an initializer.
|
👋 Welcome back jlahoda! A progress list of the required criteria for merging this PR into |
|
@lahodaj This change now passes all automated pre-integration checks. ℹ️ This project also has non-automated pre-integration requirements. Please see the file CONTRIBUTING.md for details. After integration, the commit message for the final commit will be: You can use pull request commands such as /summary, /contributor and /issue to adjust it as needed. At the time when this comment was updated there had been 2 new commits pushed to the Please see this link for an up-to-date comparison between the source branch of this pull request and the As you do not have Committer status in this project an existing Committer must agree to sponsor your change. Possible candidates are the reviewers of this PR (@vicente-romero-oracle, @mcimadamore) but any other Committer may sponsor as well. ➡️ To flag this PR as ready for integration with the above commit message, type |
|
/integrate |
|
@lahodaj This pull request has been inactive for more than 4 weeks and will be automatically closed if another 4 weeks passes without any activity. To avoid this, simply issue a |
|
@lahodaj This pull request has been inactive for more than 8 weeks and will now be automatically closed. If you would like to continue working on this pull request in the future, feel free to reopen it! This can be done using the |
Fixing behavior in two cases:
String! str = ""(i.e. missing semicolon) should work. This is achieved by fixing the completion analysis to report the snippet asCOMPLETE_WITH_SEMI.String! str(i.e. missing initializer). This should produce an error saying initializer is required, achieved by not using the null initializer in this case.Progress
Reviewers
Reviewing
Using
gitCheckout this PR locally:
$ git fetch https://git.openjdk.org/valhalla.git pull/1932/head:pull/1932$ git checkout pull/1932Update a local copy of the PR:
$ git checkout pull/1932$ git pull https://git.openjdk.org/valhalla.git pull/1932/headUsing Skara CLI tools
Checkout this PR locally:
$ git pr checkout 1932View PR using the GUI difftool:
$ git pr show -t 1932Using diff file
Download this PR as a diff file:
https://git.openjdk.org/valhalla/pull/1932.diff
Using Webrev
Link to Webrev Comment