type-inference-validation - 导航路径静态类型验证在编译时对导航路径进行类型检查，防止结构不兼容错误标签更新于: 2026-03-23类型检查静态分析验证导航类型推断julia编译时细化类型能力典型输入典型输出该技能可以做什么推断输出类型验证路径兼容性检查类型签名检测类型不匹配计算多态类型使用谓词细化类型传播约束输入路径表达式输入类型导航器对象输出类型签名验证结果错误消息缓存导航器要求Julia 运行时编译时宏展开Navigator 框架类型系统来源规范: SKILL.md
