chalk
chalk copied to clipboard
rust-lang
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
```rust #[test] fn depth_not_on_stack() { test! { program { #[coinductive] trait A {} #[coinductive] trait B {} #[coinductive] trait C {} #[coinductive] trait D {} #[coinductive] trait E {} impl...
```rust #[test] fn trait_parameter() { test! { program { #[non_enumerable] trait Trait { type Assoc; } struct Foo {} struct Bar {} impl Trait for Foo { type Assoc =...
This seems quite obvious, but fails; ```rust #[test] fn recursive_assoc_with_gat() { test! { program { #[non_enumerable] trait Foo { type Assoc; type Gat: Foo; } } goal { forall {...
The automatic release process attempts to directly push to the `master` branch but is prevented by branch protection (see [the most recent run](https://github.com/rust-lang/chalk/actions/runs/9823134706/job/27120661366) for an example). Currently this means a...
