Skip to content

Commit

Permalink
Fix check files
Browse files Browse the repository at this point in the history
  • Loading branch information
odersky committed Sep 14, 2024
1 parent 472555d commit cd9a7c5
Show file tree
Hide file tree
Showing 4 changed files with 29 additions and 7 deletions.
8 changes: 4 additions & 4 deletions tests/neg/i20554-a.check
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
| Explanation (enabled by `-explain`)
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
| Starting from Scala 3.6.0, named arguments are required for Java defined annotations.
| Java defined annotations don't have an exact constructor representation
| and we previously relied on the order of the fields to create one.
| Java defined annotations don't have an exact constructor representation
| and we previously relied on the order of the fields to create one.
| One possible issue with this representation is the reordering of the fields.
| Lets take the following example:
|
Expand All @@ -29,8 +29,8 @@
| Explanation (enabled by `-explain`)
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
| Starting from Scala 3.6.0, named arguments are required for Java defined annotations.
| Java defined annotations don't have an exact constructor representation
| and we previously relied on the order of the fields to create one.
| Java defined annotations don't have an exact constructor representation
| and we previously relied on the order of the fields to create one.
| One possible issue with this representation is the reordering of the fields.
| Lets take the following example:
|
Expand Down
4 changes: 2 additions & 2 deletions tests/neg/i20554-b.check
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
| Explanation (enabled by `-explain`)
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
| Starting from Scala 3.6.0, named arguments are required for Java defined annotations.
| Java defined annotations don't have an exact constructor representation
| and we previously relied on the order of the fields to create one.
| Java defined annotations don't have an exact constructor representation
| and we previously relied on the order of the fields to create one.
| One possible issue with this representation is the reordering of the fields.
| Lets take the following example:
|
Expand Down
22 changes: 22 additions & 0 deletions tests/neg/i21543.check
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
-- [E007] Type Mismatch Error: tests/neg/i21543.scala:10:15 ------------------------------------------------------------
10 | Cmd(List("1", "2")) // error // error
| ^^^
| Found: ("1" : String)
| Required: Event
|
| Note that I could not resolve reference Event.
| Event is a private member in a base class
|
|
| longer explanation available when compiling with `-explain`
-- [E007] Type Mismatch Error: tests/neg/i21543.scala:10:20 ------------------------------------------------------------
10 | Cmd(List("1", "2")) // error // error
| ^^^
| Found: ("2" : String)
| Required: Event
|
| Note that I could not resolve reference Event.
| Event is a private member in a base class
|
|
| longer explanation available when compiling with `-explain`
2 changes: 1 addition & 1 deletion tests/neg/i21543.scala
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ object CompilerCrash {

new Scope {
val commands = List(
Cmd(List("1", "2"))
Cmd(List("1", "2")) // error // error
)
}
}

0 comments on commit cd9a7c5

Please sign in to comment.