Changelog

All notable changes to this project will be documented in this file. Dates are displayed in UTC.

Generated by auto-changelog (Note: versions before 0.11.0 were manually generated).

v0.74.0

More clause fixes #728
Introduce Folder::Error #709

v0.73.0

7 November 2021

Fix broken markdown and intr-doc links in documentation #731

v0.72.0

10 October 2021

Replace ControlFlow with version in std #729
Regenerate lockfile to fix tests in nightly #730

v0.71.0

29 August 2021

Make the Generator trait well-known #723
Switch runner for publish job to Ubuntu from Mac #722

v0.70.0

1 August 2021

Install auto-changelog globally to fix command not found #720
rework recursive solver for better integration into an expanded version of salsa #708
Make various methods on InferenceTable public #718
Use unnamed consts in chalk-derive #717
Update "implied bounds" rules for types to match #206 #714
Update publishing page in the book with automation details #715
Skip crate publishing if there have been no changes #711
Fix automatic changelog generation to include current version's changes #713
Automate the changelog #710
Fix typo: [defined by the] embedded -> embedder #712

v0.69.0

6 June 2021

v0.68.0

30 May 2021

v0.67.0

23 May 2021

Mentions to Goal in major_concepts are meant to be DomainGoal #707
fix typo (Deterermine->Determine) in docs #705
Bump version to 0.67.0 #706
fix(chalk-recursive): allow chalk-solve's default-features to be disabled #703
Unignore a few tests. #702
Small fixes on engine #704

v0.65.0

25 April 2021

Show -> Display #701
Coinduction handling for recursive solver #698

v0.64.0

11 April 2021

Add Fold binders depth example #699

v0.63.0

28 March 2021

Add a couple of examples on the generator section of the book #697
Properly link Rustc's TyKind #696
Fix some book typos #695

v0.62.0

21 March 2021

Implement CastTo<WhereClause> for TypeOutlives #693

v0.61.0

14 March 2021

fix typo types.md #692
fix typo #691

v0.60.0

7 March 2021

v0.59.0

28 February 2021

Bump dependencies and propagate tracing features #687

v0.58.0

21 February 2021

Generate clauses for super traits of opaque bounds #681

v0.57.0

14 February 2021

add Movability to Generator #685
Opaque type cleanup #684

v0.56.0

7 February 2021

Compute flags in interner #682

v0.55.0

1 February 2021

No environment in Constraints #680

v0.52.0

31 January 2021

mdbook fix #679
Subst canonical environment clauses #671
Some various bits of cleanup #661

v0.51.0

24 January 2021

v0.50.0

20 January 2021

Generalize with variance #673
Remove dead code and re-enable functions tests #664

v0.49.0

17 January 2021

Update WellFormed-AssocTy rule in book #675

v0.48.0

10 January 2021

Deduplicate solution enum in chalk-recursive #674
Update mdbook #672

v0.47.0

3 January 2021

fix: small typo error #669

v0.46.0

27 December 2020

Update occurences of outdated ProjectionEq predicate in Chalk book #668

v0.45.0

20 December 2020

Optimize Fold impls for types on the heap #662
Add TypeFlags for TyKind in chalk-ir #639
Update mermaid.min.js to fix mermaid graphs #663
Pass canonical goals to program clauses code in SLG solver #624
Add DiscriminantKind builtin trait #633

v0.43.0

6 December 2020

Always relate with Invariant to non-General inference vars #659
Fold by value, not by reference #660

v0.41.0

29 November 2020

Add "Recursive solver coinduction chapter" to book todo list #657
Fix handling of variables in goal for new alias clauses #656
Make Variances Debug #655

v0.40.0

22 November 2020

Fix boats' coherence talk link in the book #654
Introduce Visitor::BreakTy #651
Hyperlink protocol changed: HTTP -> HTTPS (#1) #652
Hyperlink protocol changed: HTTP -> HTTPS #1

v0.39.0

15 November 2020

Bump version to 0.39.0-dev.0 #653
Clauses cleanup #638
Variance #609
Fix "var_universe invoked on bound variable" crash #649
Add empty and erased regions #650
Use ControlFlow in Visitor #645
Remove TargetInterner #648
Make max goal size for recursive solver configurable #647

v0.37.0

1 November 2020

Program printer: Use Debug to print concrete consts #641

v0.36.0

29 October 2020

Replace bound lifetime variables with inference variables in AntiUnifier #640

v0.35.0

25 October 2020

Fix glossary links #635
rewrite parts concerning typename, fix links #634
Document notation #630
Format parse errors better #632
Remove TypeName and merge into TyKind #629
Rename TyData to TyKind #628

v0.34.0

18 October 2020

Handle cached answers correctly in any_future_answer #626
Don't add wf clauses for function args #625

v0.33.0

11 October 2020

v0.32.0

7 October 2020

Don't panic on unimplemented types for auto traits #622
Update book and add coherence chapter #623
Fix mdbook links after chalk-engine changes #620
Parse opaque types without bounds #619

v0.31.0

4 October 2020

Add static lifetime #617
Support fundamental types with multiple type parameters #616
Remove Context trait from chalk-engine #611
Implement generators #593

v0.30.0

28 September 2020

Fix assertion failure during recursive solving #613

v0.29.0

27 September 2020

v0.28.0

20 September 2020

Add CoerceUnsized builtin rules #607
Extend push_auto_trait_impl to built-in types #612
fix debug print of pointer types #608

v0.27.0

13 September 2020

More lowering improvements #606
Extend well-known traits by Unpin #603
Simplify lowering #602

v0.26.0

6 September 2020

Extern types #601
Check well-formedness of opaque type declarations #579
Refactor FnPointer and FnDef #599
document opaque types #559
Fix links in chalk book #600
Properly unify consts with vars #598

v0.25.0

30 August 2020

Guard against infinite loop in recursive solver #569

v0.24.0

23 August 2020

v0.23.0

16 August 2020

Update dependencies #594

v0.22.0

9 August 2020

Turn a few generics into dynamic dispatch. #592

v0.21.0

4 August 2020

Handle well known traits for more types #591
.chalk syntax writer: Fix name de-duplication bug #585

v0.20.0

2 August 2020

Don't ever consider cycles until we've started accepting ambiguous answers #588
Upgrade salsa #581
Add default RustIrDatabase::*_name impls #575

v0.19.0

26 July 2020

Fix clippy warnings #577
Refactor and flesh out Fn pointers #573
Create single Github actions job to gate bors on #582
Remove force_impl_for from RustIrDatabase #583
Don't fail CI if only nightly fails #580
Add workflow_dispatch for manual publish #578
Support where clauses on opaque types #563
Upgrade everything except Salsa #576

v0.18.0

19 July 2020

Only generate clauses requiring Compatible when it is in the environment #566
Cleanup & comment .chalk file writer tests #570

v0.17.0

12 July 2020

Add readme for chalk-recursive #572
Don't flounder on int/float vars #555
Fix associated type bindings in dyn types #567
Remove unit fields from enum variants #565
Fix links in chalk book #564
Separate recursive solver #546
Upgrade dependencies (incl. Salsa) #553

v0.16.0

5 July 2020

Cleanup comments in syntax writer #558
Further reduce interned type boilerplate #554
Allow printing lifetime placeholders #557
Support for ADTs #524
Add type outlives goal #551
Incorporate region constraints into program clauses #543
Feature gate heavy tracing dependencies #549
Cleanup function names in chalk-ir #545
Use tracing-tree for logging / clean up debug output #544
Fix coherence issue with associated types in generic bound #538
.chalk file syntax writer #430

v0.15.0

28 June 2020

Fix built-in Fn impls when generics are involved #541
Add method to get repr data of an ADT to ChalkDatabase #523
Add more Copy implementations #539
Refactor LifetimeOutlives goals to produce AddRegionConstraint subgoals #527
Document all public items in chalk-ir #536
Typo in book #537
Support logs in lowering tests #535

v0.14.0

21 June 2020

Change README to be more clear #534
Ignore auto traits order #531
Add closures #519
Introduce Tracing into Chalk (Third Time's the Charm) #525
Ucanonicalization fix #529
Fix recursive solver completeness example to correctly fail #528

v0.13.0

14 June 2020

Refactor ProgramClauseData to remove Implies variant #514
new version: 0.13.0-dev.0 #522
Recursive solver factoring and privacy #513
complete wf checks for Copy impls #503
Model function ABI in the Rust IR #481
add Unsize trait implementation #427
add phantom_data adt flag #502
Add FnOnce trait, and provide impl for Function type #494
remove IntoIterator impl for &Binders #501
Use pretty_assertions crate when comparing expected and actual output #495
Fix typo in Implied Bounds book chapter #497
rename WellKnownTrait::<TraitName>Trait to WellKnownTrait::<TraitName> #500
Fix link to Minimums in recursive solver documentation #493
Refactor the recursive solver a bit #487
Add binders around inputs/outputs for FnDefDatum #489
add lifetimes to trait objects #492
update example trait name #490
words #491
document recursive solver #488