UnsupportedOperationException

scala

unifyRightToLeft

annotation