用错误的推断类型调用 reified 内联函数：没有编译器错误

Question

谁能解释为什么当我在具有错误推断类型的函数调用中使用内联函数时没有编译器错误，但是当我明确提及类型时却出现编译器错误？

interface Foo

class FooBar : Foo

inline fun <reified T: Foo> createFoo() : T {
    return T::class.java.getConstructor().newInstance()
}

fun fooFun(foo: String) {}

fun main() {
    val foo1 = createFoo<FooBar>() // all good 
    val foo2 = createFoo<String>() // compiler error
    val foo3: String = createFoo() // compiler error
    
    fooFun(createFoo()) // all good at compile time, fails at runtime: why? ¯\_(ツ)_/¯
}

我希望调用fooFun(createFoo())也会导致编译器错误。