Scoping annotations are not allowed on abstract types.