Skip to content

Commit 4f8dd1e

Browse files
committed
Update semanticdb expect files
1 parent 0795b80 commit 4f8dd1e

File tree

2 files changed

+6
-6
lines changed

2 files changed

+6
-6
lines changed

tests/semanticdb/expect/Givens.expect.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,6 +22,6 @@ object Givens/*<-a::b::Givens.*/:
2222
/*<-a::b::Givens.given_Monoid_String.*//*->a::b::Givens.Monoid#*//*->scala::Predef.String#*/ def empty/*<-a::b::Givens.given_Monoid_String.empty().*/ = ""
2323
extension (x/*<-a::b::Givens.given_Monoid_String.combine().(x)*/: String/*->scala::Predef.String#*/) def combine/*<-a::b::Givens.given_Monoid_String.combine().*/(y/*<-a::b::Givens.given_Monoid_String.combine().(y)*/: String/*->scala::Predef.String#*/) = x/*->a::b::Givens.given_Monoid_String.combine().(x)*/ +/*->java::lang::String#`+`().*/ y/*->a::b::Givens.given_Monoid_String.combine().(y)*/
2424

25-
inline given int2String/*<-a::b::Givens.int2String().*/ as Conversion/*->scala::Conversion#*/[Int/*->scala::Int#*/, String/*->scala::Predef.String#*/] = _.toString/*->scala::Any#toString().*/
25+
inline given Conversion/*<-a::b::Givens.int2String().*//*->scala::Conversion#*/[Int/*->scala::Int#*/, String/*->scala::Predef.String#*/] as int2String = _.toString/*->scala::Any#toString().*/
2626

2727
def foo/*<-a::b::Givens.foo().*/[A/*<-a::b::Givens.foo().[A]*/](using A/*<-a::b::Givens.foo().(A)*/: Monoid/*->a::b::Givens.Monoid#*/[A/*->a::b::Givens.foo().[A]*/]): A/*->a::b::Givens.foo().[A]*/ = A/*->a::b::Givens.foo().(A)*/.combine/*->a::b::Givens.Monoid#combine().*/(A/*->a::b::Givens.foo().(A)*/.empty/*->a::b::Givens.Monoid#empty().*/)(A/*->a::b::Givens.foo().(A)*/.empty/*->a::b::Givens.Monoid#empty().*/)

tests/semanticdb/metac.expect

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -936,7 +936,7 @@ Occurrences:
936936
[46:34..46:35): C -> _empty_/Enums.`<:<`.Refl#[C]
937937
[46:35..46:35): -> _empty_/Enums.`<:<`#`<init>`().
938938
[48:9..48:12): <:< <- _empty_/Enums.`<:<`.
939-
[49:10..49:17): [T] as <- _empty_/Enums.`<:<`.given_T().
939+
[49:10..49:17): [T] => <- _empty_/Enums.`<:<`.given_T().
940940
[49:11..49:12): T <- _empty_/Enums.`<:<`.given_T().[T]
941941
[49:18..49:19): T -> _empty_/Enums.`<:<`.given_T().[T]
942942
[49:20..49:23): <:< -> _empty_/Enums.`<:<`#
@@ -1316,10 +1316,10 @@ Occurrences:
13161316
[22:51..22:52): x -> a/b/Givens.given_Monoid_String.combine().(x)
13171317
[22:53..22:54): + -> java/lang/String#`+`().
13181318
[22:55..22:56): y -> a/b/Givens.given_Monoid_String.combine().(y)
1319-
[24:15..24:25): int2String <- a/b/Givens.int2String().
1320-
[24:29..24:39): Conversion -> scala/Conversion#
1321-
[24:40..24:43): Int -> scala/Int#
1322-
[24:45..24:51): String -> scala/Predef.String#
1319+
[24:15..24:25): Conversion <- a/b/Givens.int2String().
1320+
[24:15..24:25): Conversion -> scala/Conversion#
1321+
[24:26..24:29): Int -> scala/Int#
1322+
[24:31..24:37): String -> scala/Predef.String#
13231323
[24:57..24:65): toString -> scala/Any#toString().
13241324
[26:6..26:9): foo <- a/b/Givens.foo().
13251325
[26:10..26:11): A <- a/b/Givens.foo().[A]

0 commit comments

Comments
 (0)