Предоставление зависимого от пути типа, поступающего от одноэлементного типа

Я пытаюсь заставить Scala найти правильный тип для зависимого от пути типа, происходящего из одноэлементного типа. Во-первых, вот тип контейнера для примера и один экземпляр: trait Container { type X def get(): X } val container = new Container ...