В примере с конфигурационными объектами, "удовлетворяет" используется для проверки соответствия значения определенному типу, а аннотации к переменным - для расширения типа.
В результате, "удовлетворяет" не расширяет тип, а аннотации к переменным расширяют его.