Given, using и extension в Scala 3

trait Trace:
  def log(s: String): Unit
given Trace with
  def log(s: String) = println(s)
def run(using t: Trace) = t.log("start")
run

// Дополнительный контекст: Библиотечный тип расширили, и в месте вызова изменился выбор доступных операций и контекстных значений.
trait Trace:
  def log(s: String): Unit
given Trace with
  def log(s: String) = println(s)
def run(using t: Trace) = t.log("start")
run

trait Trace:
  def log(s: String): Unit
given Trace with
  def log(s: String) = println(s)
def run(using t: Trace) = t.log("start")
run
// На ревью требуется устранить причину дефекта, не скрывая её приведением типа или значением по умолчанию.

trait Ord[A]: def compare(a: A, b: A): Int
given Ord[Int] with
  def compare(a: Int, b: Int) = a.compare(b)
println(summon[Ord[Int]].compare(2, 1))

// Дополнительный контекст: Обобщённую сигнатуру опубликовали в API, после чего появился ещё один допустимый экземпляр типа.
trait Ord[A]: def compare(a: A, b: A): Int
given Ord[Int] with
  def compare(a: Int, b: Int) = a.compare(b)
println(summon[Ord[Int]].compare(2, 1))

trait Ord[A]: def compare(a: A, b: A): Int
given Ord[Int] with
  def compare(a: Int, b: Int) = a.compare(b)
println(summon[Ord[Int]].compare(2, 1))
// На ревью требуется устранить причину дефекта, не скрывая её приведением типа или значением по умолчанию.

extension (s: String)
  def nonEmptyOption = Option.when(s.nonEmpty)(s)
println("".nonEmptyOption -> "x".nonEmptyOption)

// Дополнительный контекст: Типовую конструкцию перенесли в другой модуль, где набор импортов и область поиска `given` отличаются.
extension (s: String)
  def nonEmptyOption = Option.when(s.nonEmpty)(s)
println("".nonEmptyOption -> "x".nonEmptyOption)

extension (s: String)
  def nonEmptyOption = Option.when(s.nonEmpty)(s)
println("".nonEmptyOption -> "x".nonEmptyOption)
// На ревью требуется устранить причину дефекта, не скрывая её приведением типа или значением по умолчанию.

trait Label[A]: def apply(a: A): String
given Label[Int] = _.toString
def show[A](a: A)(using l: Label[A]) = l(a)
println(show(7))

// Дополнительный контекст: Библиотечный тип расширили, и в месте вызова изменился выбор доступных операций и контекстных значений.
trait Label[A]: def apply(a: A): String
given Label[Int] = _.toString
def show[A](a: A)(using l: Label[A]) = l(a)
println(show(7))

trait Label[A]: def apply(a: A): String
given Label[Int] = _.toString
def show[A](a: A)(using l: Label[A]) = l(a)
println(show(7))
// На ревью требуется устранить причину дефекта, не скрывая её приведением типа или значением по умолчанию.

trait Size[A]: def size(a: A): Int
given [A](using s: Size[A]): Size[List[A]] with
  def size(xs: List[A]) = xs.map(s.size).sum
given Size[Int] = _ => 1
println(summon[Size[List[Int]]].size(List(1,2)))

trait Size[A]: def size(a: A): Int
given [A](using s: Size[A]): Size[List[A]] with
  def size(xs: List[A]) = xs.map(s.size).sum
given Size[Int] = _ => 1
println(summon[Size[List[Int]]].size(List(1,2)))
// На ревью требуется устранить причину дефекта, не скрывая её приведением типа или значением по умолчанию.