https://devblogs.microsoft.com/typescript/announcing-typescript-4-9-rc/#the-satisfies-operator
это прямо пушка-бомба
не могу уже вспомнить конкретно но регулярно наталкивался на подобный кейс, хочется и получить какие-то гарантии и не мешать выводу типов делать свою работу
приходилось костылить дженерики не по делу