Skip to content

Commit 304156e

Browse files
Update test error annotations and check-file
For cases which are now detected as unambiguous!
1 parent 6ebb4c2 commit 304156e

File tree

2 files changed

+2
-38
lines changed

2 files changed

+2
-38
lines changed

tests/neg/i10901.check

Lines changed: 0 additions & 36 deletions
Original file line numberDiff line numberDiff line change
@@ -1,39 +1,3 @@
1-
-- [E008] Not Found Error: tests/neg/i10901.scala:45:38 ----------------------------------------------------------------
2-
45 | val pos1: Point2D[Int,Double] = x º y // error
3-
| ^^^
4-
| value º is not a member of object BugExp4Point2D.IntT.
5-
| An extension method was tried, but could not be fully constructed:
6-
|
7-
| º(x)
8-
|
9-
| failed with:
10-
|
11-
| Ambiguous overload. The overloaded alternatives of method º in object dsl with types
12-
| [T1, T2]
13-
| (x: BugExp4Point2D.ColumnType[T1])
14-
| (y: BugExp4Point2D.ColumnType[T2])
15-
| (using evidence$1: Numeric[T1], evidence$2: Numeric[T2]): BugExp4Point2D.Point2D[T1, T2]
16-
| [T1, T2]
17-
| (x: T1)
18-
| (y: BugExp4Point2D.ColumnType[T2])
19-
| (using evidence$1: Numeric[T1], evidence$2: Numeric[T2]): BugExp4Point2D.Point2D[T1, T2]
20-
| both match arguments ((x : BugExp4Point2D.IntT.type))((y : BugExp4Point2D.DoubleT.type))
21-
-- [E008] Not Found Error: tests/neg/i10901.scala:48:38 ----------------------------------------------------------------
22-
48 | val pos4: Point2D[Int,Double] = x º 201.1 // error
23-
| ^^^
24-
|value º is not a member of object BugExp4Point2D.IntT.
25-
|An extension method was tried, but could not be fully constructed:
26-
|
27-
| º(x)
28-
|
29-
| failed with:
30-
|
31-
| Ambiguous overload. The overloaded alternatives of method º in object dsl with types
32-
| [T1, T2]
33-
| (x: BugExp4Point2D.ColumnType[T1])
34-
| (y: T2)(using evidence$1: Numeric[T1], evidence$2: Numeric[T2]): BugExp4Point2D.Point2D[T1, T2]
35-
| [T1, T2](x: T1)(y: T2)(using evidence$1: Numeric[T1], evidence$2: Numeric[T2]): BugExp4Point2D.Point2D[T1, T2]
36-
| both match arguments ((x : BugExp4Point2D.IntT.type))((201.1d : Double))
371
-- [E008] Not Found Error: tests/neg/i10901.scala:62:16 ----------------------------------------------------------------
382
62 | val y = "abc".foo // error
393
| ^^^^^^^^^

tests/neg/i10901.scala

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -42,10 +42,10 @@ object BugExp4Point2D {
4242
val x = IntT
4343
val y = DoubleT
4444

45-
val pos1: Point2D[Int,Double] = x º y // error
45+
val pos1: Point2D[Int,Double] = x º y // ok
4646
val pos2: Point2D[Int,Double] = 100 º 200.1 // ok
4747
val pos3: Point2D[Int,Double] = 101 º y // ok
48-
val pos4: Point2D[Int,Double] = x º 201.1 // error
48+
val pos4: Point2D[Int,Double] = x º 201.1 // ok
4949

5050
}
5151
}

0 commit comments

Comments
 (0)