Asserts that a list of class declarations have annotation type parameter T.
Asserts that classes in a KontureScope have annotation type parameter T.