添加自动类型推导.md和测试代码