Speaking of the => syntax though:
given [T] with Ord[T] as Ord[List[T]] { ... }
given with (outer: Context) as Context = outer.withOwner(currentOwner)
Still prefer the 0.21 => syntax to its actual replacement. If we have to use with here though, wouldn’t
given [T] Ord[List[T]] with Ord[T] { ... }
given Context with (outer: Context) = outer.withOwner(currentOwner)
both read more naturally and give some intuition wrt. what this does due to its similarity with given parameters?
(removed the as keyword too, as per my previous comment.)