No, `scalac` can’t figure this one out on its own. You need to help it along (force it) to make the jump from `A` to `B`.