Expose type checker API
feedback-neededapi
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 条评论