Ложное срабатывание проверки: invocation-parameter-type-intersect для пропущенного необязательного параметра

[adminimusRU]

Название/код проверки

Код проверки: invocation-parameter-type-intersect

Версия плагина: 0.5.0.128

Пример кода/метаданных содержащих ошибку

// @strict-types

// Параметры:
//  Парам1 - Строка
//  Парам2 - Число
//  Парам3 - Булево
//  Парам4 - Число
Процедура ТестоваяПроцедура(Парам1, Парам2, Парам3 = Ложь, Парам4 = Неопределено)

КонецПроцедуры

Процедура Процедура1()

    Парам1 = "123";
    Парам2 = 456;
    Парам3 = Истина;
    Парам4 = 789;

    ТестоваяПроцедура(Парам1, Парам2);
    ТестоваяПроцедура(Парам1, Парам2, Парам3);
    ТестоваяПроцедура(Парам1, Парам2,, Парам4);
    ТестоваяПроцедура(Парам1, Парам2, Парам3, Парам4);

КонецПроцедуры

Почему это НЕ ошибка

Пропущенный необязательный параметр будет инициализирован с типом выражения, указанного в определении метода - в данном случае булево, что совпадает типом параметра в документирующем комментарии. А проверка видимо считает, что там Неопределено.

[marmyshev]

Да, надо доработать проверку.