About scala-infer