Трейт scala.annotation.RefiningAnnotation

трейт RefiningAnnotation extends StaticAnnotation

Базовый трейт для аннотаций, которые дают правильные подтипы типов, к которым они применяются. Аннотации уточнения более «прилипательные», чем обычные. Они концептуально сохраняются, когда обычные уточнения также не будут удалены.