[Pharo-project] type-inference: it works!