-
Notifications
You must be signed in to change notification settings - Fork 54
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
new error message for not hot fields
- Loading branch information
1 parent
9695ea7
commit 73c4be4
Showing
1 changed file
with
7 additions
and
12 deletions.
There are no files selected for viewing
19 changes: 7 additions & 12 deletions
19
frontends/benchmarks/extraction/invalid/Initialization5.dotty.check
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,12 +1,7 @@ | ||
[ Error ] Initialization5.scala:6:17: Cannot prove the method argument is hot. Only hot values are safe to leak. | ||
[ Error ] Found = ThisRef[class NoThis]. | ||
[ Error ] Non initialized field(s): value nothis1, value nothis2. Calling trace: | ||
[ Error ] -> case class NoThis() { [ Initialization5.scala:2 ] | ||
[ Error ] ^ | ||
[ Error ] -> val nothis1 = f() [ Initialization5.scala:3 ] | ||
[ Error ] ^^^ | ||
[ Error ] -> def f() = g(this) [ Initialization5.scala:6 ] | ||
[ Error ] ^^^^ | ||
[ Error ] | ||
def f() = g(this) | ||
^ | ||
[ Error ] Initialization5.scala:3:9: Not well formed definition @field | ||
[ Error ] @fieldDefPosition(8) | ||
[ Error ] @method(NoThis) | ||
[ Error ] def nothis1: Int = this.f | ||
[ Error ] because field `nothis1` can only refer to previous fields, not to `nothis2` | ||
val nothis1 = f() | ||
^ |