Skip to content

Commit 172f063

Browse files
committed
use correct check with output tree for comparison
1 parent 38078ec commit 172f063

File tree

1 file changed

+19
-3
lines changed

1 file changed

+19
-3
lines changed
Lines changed: 19 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,28 @@
11
-- [E007] Type Mismatch Error: tests/neg-custom-args/hidden-type-errors/Test.scala:6:24 --------------------------------
2-
6 | val x = X.doSomething("XXX")
2+
6 | val x = X.doSomething("XXX") // error
33
| ^^^^^^^^^^^^^^^^^^^^
44
| Found: String
55
| Required: Int
66
| This location contains code that was inlined from Test.scala:6
77

8-
inlined at Test.scala:6:
8+
Explanation
9+
===========
910

10-
1 error found
11+
Tree: t12717.A.bar("XXX")
12+
13+
I tried to show that
14+
String
15+
conforms to
16+
Int
17+
but the comparison trace ended with `false`:
18+
19+
==> String <: Int
20+
==> String <: Int (recurring)
21+
==> String <: Int (recurring)
22+
<== String <: Int (recurring) = false
23+
<== String <: Int (recurring) = false
24+
<== String <: Int = false
1125

26+
The tests were made under the empty constraint
1227

28+
1 error found

0 commit comments

Comments
 (0)