LiskovProblem

val LiskovProblem: DiagnosticFactory1<PsiElement, String>