Видимо, складывается ощущение, что линтипы - это что-то вроде раста, а не что-то вроде типов
не, нужно просто расширить понятие типов до "метаинфа, которую юзер указывает сам, потому что компилятор не вывел, и которую компилятор проверяет", но в первую очередь первое, а потом второе