NewYour coding agent can read the release notes before it upgrades.Set up the MCP server →
crates.io · #4584 most downloaded on crates.io
A helper crate for use by chalk crates for `derive` macros.
Last release 1 years ago
06 Aug 2025
Ships fairly regularly
a new release about every 2 months
Nearly every release is documented
notes for 56 of the last 60 stable releases
Nothing withdrawn
no release was ever pulled
6 years old
95 releases · first in 2020
One column per quarter.
Nothing published for this version
fix: Don't panic when formatting without Program `#830`
1 June 2025
#830> 20 April 2025
20 April 2025
Add associated_ty_from_impl to Chalk db to avoid computing associated types eagerly `#826`
13 April 2025
associated_ty_from_impl to Chalk db to avoid computing associated types eagerly #826Bump versions to 0.100.0-dev.0 `#825`
bump version -> 0.99.0-dev.0 `#822`
Bump version number to 0.98.0-dev.0 to fix automatic releases `#813`
Add missing ?Sized bounds for HasInterner impls `#810`
Rename generator to coroutine `#806`
7 January 2024
#806Fixes typo in what_is_chalk.md `#804`
Remove an unnecessary mut and fix warning `#803`
Push DiscriminantKind implementation fact unconditionally `#800`
13 August 2023
#800Pin cargo-workspaces to 0.2.44 `#799`
30 June 2023
#799Normalize clauses #797FnPtr trait #798#795AliasEq goal with nested alias #792Normalize clauses for dyn and opaque types #780Add support for Pointee trait `#794`
> 2 April 2023 - update syn to 2.0 `#793`
2 April 2023
#793Fix projection substitution order considering GATs `#790`
Add test for example found from removing fresh vars in rustc `#784`
Implement support for the Tuple trait `#782`
Fix parameter for Interner in derive(FallibleTypeFolder) macro `#779`
Solve auto traits for closures (issue #734) `#755`
31 July 2022
#755we only need to prove things one way `#754`
12 April 2022
#754Fix function pointers of different param counts unifying `#759`
Make DispatchFromDyn a well-known type `#738`
20 March 2022
#738Add missing fold_free_var_const `#756`
repl: add --solver flag. `#751`
Update indexmap to 1.8.0 `#746`
Remove Ord from chalk_ir::DefId `#740`
Use owned copies of Interner rather than refs `#735`
> 29 November 2021 - More clause fixes `#728` - Introduce Folder::Error `#709`
Fix broken markdown and intr-doc links in documentation `#731`
7 November 2021
#731Replace ControlFlow with version in std `#729`
Make the Generator trait well-known `#723`
Install auto-changelog globally to fix command not found `#720`
1 August 2021
#720#708#718#717#714#715#711#713#710#712> 6 June 2021
6 June 2021
> 30 May 2021
30 May 2021
Mentions to Goal in major_concepts are meant to be DomainGoal `#707`
Nothing published for this version
Coinduction handling for recursive solver `#698`
Add Fold binders depth example `#699`
11 April 2021
#699Add a couple of examples on the generator section of the book `#697`
Implement CastTo<WhereClause> for TypeOutlives `#693`
21 March 2021
#693> 14 March 2021 - fix typo types.md `#692` - fix typo `#691`
> 7 March 2021
7 March 2021
Bump dependencies and propagate tracing features `#687`
28 February 2021
#687Generate clauses for super traits of opaque bounds `#681`
21 February 2021
#681add Movability to Generator `#685`
Compute flags in interner `#682`
7 February 2021
#682No environment in Constraints `#680`
1 February 2021
#680Nothing published for this version
Nothing published for this version
Subst canonical environment clauses `#671`
> 24 January 2021
24 January 2021
Generalize with variance `#673`
Update WellFormed-AssocTy rule in book `#675`
17 January 2021
#675Deduplicate solution enum in chalk-recursive `#674`
> 3 January 2021 - fix: small typo error `#669`
3 January 2021
#669Update occurences of outdated ProjectionEq predicate in Chalk book `#668`
27 December 2020
#668Optimize Fold impls for types on the heap `#662`
Your coding agent can read these notes before it upgrades. Set up the MCP server →