разве можно на этапе компиляции узнать?
госпади, когда же вы поймете как работают такие тайпчекеры они и не опираются на реальную информацию, кто что как вызовет, они опираются на твои декларации, веря что они истинны, и на то, что просходит внутри кода, который он чекает то есть тс все равно, если функцию вызовет кто-нибудь вне тс кода с другой сигнатурой, он просто верит, что раз ты указал такую, значит ее будут так вызывать
Обсуждают сегодня