某个SQL DSL接收String并把它插入查询。Kotlin类型检查证明了什么？

某个SQL DSL接收String并把它插入查询。Kotlin类型检查证明了什么？

1. 只能证明实参具有可接受的Kotlin类型，不能证明它已安全编码
2. 字符串不可能包含SQL元字符
3. @DslMarker会自动参数化查询
4. 尾随lambda会在执行前转义所有值