Skip to content

Commit ff12f9a

Browse files
bishaboshaWojciechMazur
authored andcommitted
reduce some warnings in semanticdb tests
[Cherry-picked bef7a4a]
1 parent 931cb92 commit ff12f9a

File tree

5 files changed

+36
-23
lines changed

5 files changed

+36
-23
lines changed

tests/semanticdb/expect/Enums.expect.scala

+1-1
Original file line numberDiff line numberDiff line change
@@ -46,7 +46,7 @@ object Enums/*<-_empty_::Enums.*/:
4646
enum <:</*<-_empty_::Enums.`<:<`#*/[-A/*<-_empty_::Enums.`<:<`#[A]*/, B/*<-_empty_::Enums.`<:<`#[B]*/]:
4747
case Refl/*<-_empty_::Enums.`<:<`.Refl#*/[C/*<-_empty_::Enums.`<:<`.Refl#[C]*/]() extends (C/*->_empty_::Enums.`<:<`.Refl#[C]*/ <:</*->_empty_::Enums.`<:<`#*/ C/*->_empty_::Enums.`<:<`.Refl#[C]*/)
4848

49-
object <:</*<-_empty_::Enums.`<:<`.*/ :
49+
object `<:</*<-_empty_::Enums.`<:<`.*/`:
5050
given [T/*<-_empty_::Enums.`<:<`.`given_<:<_T_T`().[T]*/]: (T/*->_empty_::Enums.`<:<`.`given_<:<_T_T`().[T]*/ <:</*->_empty_::Enums.`<:<`#*/ T/*->_empty_::Enums.`<:<`.`given_<:<_T_T`().[T]*/) = Refl/*->_empty_::Enums.`<:<`.Refl.*/()
5151

5252
extension [A/*<-_empty_::Enums.unwrap().[A]*/, B/*<-_empty_::Enums.unwrap().[B]*/](opt/*<-_empty_::Enums.unwrap().(opt)*/: Option/*->scala::Option#*/[A/*->_empty_::Enums.unwrap().[A]*/]) def unwrap/*<-_empty_::Enums.unwrap().*/(using ev/*<-_empty_::Enums.unwrap().(ev)*/: A/*->_empty_::Enums.unwrap().[A]*/ <:</*->_empty_::Enums.`<:<`#*/ Option/*->scala::Option#*/[B/*->_empty_::Enums.unwrap().[B]*/]): Option/*->scala::Option#*/[B/*->_empty_::Enums.unwrap().[B]*/] = ev/*->_empty_::Enums.unwrap().(ev)*/ match

tests/semanticdb/expect/Enums.scala

+1-1
Original file line numberDiff line numberDiff line change
@@ -46,7 +46,7 @@ object Enums:
4646
enum <:<[-A, B]:
4747
case Refl[C]() extends (C <:< C)
4848

49-
object <:< :
49+
object `<:<`:
5050
given [T]: (T <:< T) = Refl()
5151

5252
extension [A, B](opt: Option[A]) def unwrap(using ev: A <:< Option[B]): Option[B] = ev match

tests/semanticdb/expect/Givens.expect.scala

+2-1
Original file line numberDiff line numberDiff line change
@@ -22,6 +22,7 @@ object Givens/*<-a::b::Givens.*/:
2222
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().*/: Conversion/*->scala::Conversion#*/[Int/*->scala::Int#*/, String/*->scala::Predef.String#*/] = _.toString/*->scala::Any#toString().*/
25+
inline given int2String/*<-a::b::Givens.int2String().*/: Conversion/*->scala::Conversion#*/[Int/*->scala::Int#*/, String/*->scala::Predef.String#*/] with
26+
def apply/*<-a::b::Givens.int2String#apply().*/(x/*<-a::b::Givens.int2String#apply().(x)*/: Int/*->scala::Int#*/): String/*->scala::Predef.String#*/ = x/*->a::b::Givens.int2String#apply().(x)*/.toString/*->scala::Any#toString().*/
2627

2728
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/expect/Givens.scala

+2-1
Original file line numberDiff line numberDiff line change
@@ -22,6 +22,7 @@ object Givens:
2222
def empty = ""
2323
extension (x: String) def combine(y: String) = x + y
2424

25-
inline given int2String: Conversion[Int, String] = _.toString
25+
inline given int2String: Conversion[Int, String] with
26+
def apply(x: Int): String = x.toString
2627

2728
def foo[A](using A: Monoid[A]): A = A.combine(A.empty)(A.empty)

tests/semanticdb/metac.expect

+30-19
Original file line numberDiff line numberDiff line change
@@ -486,7 +486,7 @@ Uri => CaseClass.scala
486486
Text => empty
487487
Language => Scala
488488
Symbols => 22 entries
489-
Occurrences => 16 entries
489+
Occurrences => 17 entries
490490

491491
Symbols:
492492
caseclass/CaseClass# => case class CaseClass extends Object with Product with Serializable { self: CaseClass => +8 decls }
@@ -515,6 +515,7 @@ caseclass/CaseClass.unapply().(x$1) => param x$1: CaseClass
515515
Occurrences:
516516
[0:8..0:17): caseclass <- caseclass/
517517
[2:11..2:20): CaseClass <- caseclass/CaseClass#
518+
[2:20..2:20): <- caseclass/CaseClass#`<init>`().
518519
[2:21..2:25): int1 <- caseclass/CaseClass#int1.
519520
[2:27..2:30): Int -> scala/Int#
520521
[2:32..2:36): int2 <- caseclass/CaseClass#int2.
@@ -1285,7 +1286,7 @@ Occurrences:
12851286
[46:28..46:29): C -> _empty_/Enums.`<:<`.Refl#[C]
12861287
[46:30..46:33): <:< -> _empty_/Enums.`<:<`#
12871288
[46:34..46:35): C -> _empty_/Enums.`<:<`.Refl#[C]
1288-
[48:9..48:12): <:< <- _empty_/Enums.`<:<`.
1289+
[48:10..48:13): <:< <- _empty_/Enums.`<:<`.
12891290
[49:11..49:12): T <- _empty_/Enums.`<:<`.`given_<:<_T_T`().[T]
12901291
[49:16..49:17): T -> _empty_/Enums.`<:<`.`given_<:<_T_T`().[T]
12911292
[49:18..49:21): <:< -> _empty_/Enums.`<:<`#
@@ -1636,12 +1637,12 @@ Schema => SemanticDB v4
16361637
Uri => Givens.scala
16371638
Text => empty
16381639
Language => Scala
1639-
Symbols => 29 entries
1640-
Occurrences => 66 entries
1640+
Symbols => 33 entries
1641+
Occurrences => 72 entries
16411642
Synthetics => 3 entries
16421643

16431644
Symbols:
1644-
a/b/Givens. => final object Givens extends Object { self: Givens.type => +12 decls }
1645+
a/b/Givens. => final object Givens extends Object { self: Givens.type => +13 decls }
16451646
a/b/Givens.Monoid# => trait Monoid [typeparam A ] extends Object { self: Monoid[A] => +4 decls }
16461647
a/b/Givens.Monoid#[A] => typeparam A
16471648
a/b/Givens.Monoid#`<init>`(). => primary ctor <init> [typeparam A ](): Monoid[A]
@@ -1659,7 +1660,11 @@ a/b/Givens.given_Monoid_String.combine().(y) => param y: String
16591660
a/b/Givens.given_Monoid_String.empty(). => method empty => String <: a/b/Givens.Monoid#empty().
16601661
a/b/Givens.goodbye1. => val method goodbye1 String
16611662
a/b/Givens.hello1. => val method hello1 String
1662-
a/b/Givens.int2String(). => final implicit given inline macro int2String => Conversion[Int, String]
1663+
a/b/Givens.int2String# => implicit given class int2String extends Conversion[Int, String] { self: int2String => +2 decls }
1664+
a/b/Givens.int2String#`<init>`(). => primary ctor <init> (): int2String
1665+
a/b/Givens.int2String#apply(). => method apply (param x: Int): String <: scala/Conversion#apply()., scala/Function1#apply().
1666+
a/b/Givens.int2String#apply().(x) => param x: Int
1667+
a/b/Givens.int2String(). => final implicit given inline macro int2String => int2String
16631668
a/b/Givens.sayGoodbye(). => method sayGoodbye [typeparam B ](param any: B): String
16641669
a/b/Givens.sayGoodbye().(any) => param any: B
16651670
a/b/Givens.sayGoodbye().[B] => typeparam B
@@ -1723,21 +1728,27 @@ Occurrences:
17231728
[22:55..22:56): y -> a/b/Givens.given_Monoid_String.combine().(y)
17241729
[24:15..24:25): int2String <- a/b/Givens.int2String().
17251730
[24:27..24:37): Conversion -> scala/Conversion#
1731+
[24:27..24:27): <- a/b/Givens.int2String#`<init>`().
17261732
[24:38..24:41): Int -> scala/Int#
17271733
[24:43..24:49): String -> scala/Predef.String#
1728-
[24:55..24:63): toString -> scala/Any#toString().
1729-
[26:6..26:9): foo <- a/b/Givens.foo().
1730-
[26:10..26:11): A <- a/b/Givens.foo().[A]
1731-
[26:19..26:20): A <- a/b/Givens.foo().(A)
1732-
[26:22..26:28): Monoid -> a/b/Givens.Monoid#
1733-
[26:29..26:30): A -> a/b/Givens.foo().[A]
1734-
[26:34..26:35): A -> a/b/Givens.foo().[A]
1735-
[26:38..26:39): A -> a/b/Givens.foo().(A)
1736-
[26:40..26:47): combine -> a/b/Givens.Monoid#combine().
1737-
[26:48..26:49): A -> a/b/Givens.foo().(A)
1738-
[26:50..26:55): empty -> a/b/Givens.Monoid#empty().
1739-
[26:57..26:58): A -> a/b/Givens.foo().(A)
1740-
[26:59..26:64): empty -> a/b/Givens.Monoid#empty().
1734+
[25:8..25:13): apply <- a/b/Givens.int2String#apply().
1735+
[25:14..25:15): x <- a/b/Givens.int2String#apply().(x)
1736+
[25:17..25:20): Int -> scala/Int#
1737+
[25:23..25:29): String -> scala/Predef.String#
1738+
[25:32..25:33): x -> a/b/Givens.int2String#apply().(x)
1739+
[25:34..25:42): toString -> scala/Any#toString().
1740+
[27:6..27:9): foo <- a/b/Givens.foo().
1741+
[27:10..27:11): A <- a/b/Givens.foo().[A]
1742+
[27:19..27:20): A <- a/b/Givens.foo().(A)
1743+
[27:22..27:28): Monoid -> a/b/Givens.Monoid#
1744+
[27:29..27:30): A -> a/b/Givens.foo().[A]
1745+
[27:34..27:35): A -> a/b/Givens.foo().[A]
1746+
[27:38..27:39): A -> a/b/Givens.foo().(A)
1747+
[27:40..27:47): combine -> a/b/Givens.Monoid#combine().
1748+
[27:48..27:49): A -> a/b/Givens.foo().(A)
1749+
[27:50..27:55): empty -> a/b/Givens.Monoid#empty().
1750+
[27:57..27:58): A -> a/b/Givens.foo().(A)
1751+
[27:59..27:64): empty -> a/b/Givens.Monoid#empty().
17411752

17421753
Synthetics:
17431754
[12:17..12:25):sayHello => *[Int]

0 commit comments

Comments
 (0)