Трейт RefiningAnnotation.RefiningAnnotation

трейт RefiningAnnotation extends StaticAnnotation

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