Какой лучший способ узнать, что вызывает нерешенные мета? Есть ли способ превратить все неразрешенные мета (и только неразрешенные) в дыры, расширив все окружающие подстановочные знаки, которые разрешимы?
Если ничего другого, изменит ли нераскрытую мета в отверстие, сообщение о нераскрытой мета исчезнет? Потому что тогда, я думаю, я могу попытаться изменить каждый подстановочный знак и каждый неявный аргумент в отверстия до тех пор, пока сообщение не исчезнет, а затем выясните, какой из них вызывает проблемы...