ITADN

Expose type checker API

#232Pull Requestkaleidawave 创建于 2025-07-03
feedback-neededapi
K
kaleidawavecommented
Adds a basic API for working with types ```rust let mut space = Space::new(); assert!(space.is_assignable_to("number", "number | string")); assert!(!space.is_assignable_to("number | string", "number")); ``` #### TODO - Candidates from inference - More mismatch information - Disjoint tesy - Declare types and variables - WASM API
合并状态:未合并 1 条评论