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

[RedMammoth]

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

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

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

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

Возможно ошибка не в проверке, а в ЕДТ и проверка просто ее вскрыла

// @strict-types

// Тест.
// 
// Параметры:
//  СправочникСсылка - СправочникСсылка.Справочник - Справочник ссылка
// 
// Возвращаемое значение:
//  Строка - Тест
Функция Тест(СправочникСсылка) Экспорт
	Возврат ПолучитьНавигационнуюСсылку(СправочникСсылка);
КонецФункции

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

Согласно СП есть вариант функции ПолучитьНавигационнуюСсылку с один параметром - ЛюбаяСсылка

[marmyshev]

С проверкой всё в порядке - она проверяет то, что ей предоставляют.

Надо дальше разбираться почему выдается из нескольких вариантов вызова - только этот тип.

[RedMammoth]

Вот еще один пример нашел, когда выдается только один вариант вызова:

Процедура Тест()

	// Метод Скопировать у ТаблицыЗначений подобрался корректно
	МояТаблица = Новый ТаблицаЗначений;
	МояТаблица.Колонки.Добавить("НомерСтроки", Новый ОписаниеТипов("Число"));
	МояТаблица.Колонки.Добавить("ПометкаУдаления", Новый ОписаниеТипов("Булево"));
	МояТаблица.Колонки.Добавить("СсылкаНаСправочник", Новый ОписаниеТипов("СправочникСсылка.Справочник"));

	СтруктураПоиска = Новый Структура;
	СтруктураПоиска.Вставить("ПометкаУдаления", Истина);

	СтрокиКОбработке = МояТаблица.Скопировать(СтруктураПоиска, "НомерСтроки, СсылкаНаСправочник");
	Для Каждого СтрокаТЗ Из СтрокиКОбработке Цикл

	КонецЦикла;
	
	// А вот метод Выгрузить у ТабличнойЧасти - нет
	// метод ожидает всегда массив
	НовыйСправочник = Справочники.Справочник.СоздатьЭлемент();
	СтрокиТЧ = НовыйСправочник.ТабличнаяЧасть.Выгрузить(СтруктураПоиска, "НомерСтроки, СсылкаНаСправочник");
	Для Каждого СтрокаТЧ Из СтрокиТЧ Цикл

	КонецЦикла;

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

[Nspection]

похожая ошибка.
Хочет метод "ОткрытьФорму" только с 2 мя параметрами Форма и окно