All the boilerplate starting from this line can be avoided by casting to DiagnosticWithParameters1<JetElement, Collection<ClassDescriptor>> instead of raw type.