Инфиксные функции Kotlin, использующие дженерики, не имеют принудительного типа

Question

При использовании дженериков в инфиксных функциях это не похоже на принудительный тип

infix fun <T> T.assertEquals(value: T) {
    assertk.that(this, equalTo(value))
}

Следующий код компилируется и запускается

"Some Value" asertEquals 1

Он достаточно умен, чтобы знать, что он должен быть строкой. Однако он не жалуется при передаче несовместимых типов.

Как правильно применять тип в типовых инфиксных функциях?