Scala推断最小上界

Scala推断最小上界,scala,inferred-type,Scala,Inferred Type,Scala 2.12。下面的代码 val mapBuilder=Map.newBuilder[String,String] val setBuilder=Set.newBuilder[String] 列表(选项(“”)。foreach{ 案例部分(41;=>mapBuilder+=“”->“” 案例无=>setBuilder+=“” } 不编译-编译器无法推断两个构建器中的最小上界(在foreach[U](f:A=>U)中的U): 这是预期的行为吗?FWIW它在Scala 2.13上编译。 t

Scala 2.12。下面的代码

val mapBuilder=Map.newBuilder[String,String]
val setBuilder=Set.newBuilder[String]
列表(选项(“”)。foreach{
案例部分(41;=>mapBuilder+=“”->“”
案例无=>setBuilder+=“”
}
不编译-编译器无法推断两个构建器中的最小上界(在
foreach[U](f:A=>U)
中的
U
):


这是预期的行为吗?

FWIW它在Scala 2.13上编译。
type arguments [String,Iterable[java.io.Serializable] with String => Any with scala.collection.generic.Subtractable[String,Equals]] do not conform to trait Subtractable's type parameter bounds [A,+Repr <: scala.collection.generic.Subtractable[A,Repr]]