用 satisfies 校验路由配置，同时保留具体路由名与路径字面量，和 as 断言有什么区别？