Какие ограничения накладывает скала на «приемлемую сложность» предполагаемых типов?

В соответствии с Спецификацией языка Scala :

... вывод локального типа допускает ограничение сложности выводимых границ [параметров типа]. Минимальность и максимальность типов должны пониматься относительно множества типов приемлемой сложности.

На практике, каковы пределы?

Кроме того, существуют ли другие ограничения, которые применяются к выводимым типам выражений, чем к границам типов параметров, и каковы эти ограничения?