#ir #solver #chalk

chalk-rust-ir

A library that defines the IR for Rust concepts like traits and impls

1 unstable release

0.10.0 Apr 30, 2020

Apache-2.0/MIT

490KB
10K SLoC

A library that defines the IR for Rust concepts like traits and impls.

See Github for up-to-date information.


lib.rs:

Contains the definition for the "Rust IR" -- this is basically a "lowered" version of the AST, roughly corresponding to [the HIR] in the Rust compiler.

Dependencies

~0.4–0.8MB
~19K SLoC