rust-lang/chalk issues and pull requests

#822 - bump version -> 0.99.0-dev.0

Pull Request - State: closed - Opened by WaffleLapkin 9 days ago - 2 comments

#821 - Implement trait upcasting

Pull Request - State: closed - Opened by WaffleLapkin 20 days ago - 9 comments

#820 - Set rustfmt `style_edition` to 2024

Pull Request - State: closed - Opened by WaffleLapkin 21 days ago - 2 comments

#819 - chore: point chalk-integration to new salsa

Pull Request - State: open - Opened by davidbarsky about 1 month ago

#818 - Configure CI for merge queue

Pull Request - State: closed - Opened by Kobzol 3 months ago

#817 - Remove unnecessary symbols and add missing symbols

Pull Request - State: closed - Opened by cuishuang 5 months ago - 4 comments

#816 - Fails to solve some existential clause

Issue - State: open - Opened by ShoyuVanilla 5 months ago - 2 comments

#815 - Recursive Solver fails to solve recursive associated type with GAT

Issue - State: open - Opened by ShoyuVanilla 6 months ago

#814 - Branch protection prevents automatic releases from updating the version number on the `master` branch

Issue - State: open - Opened by beetrees 7 months ago

#813 - Bump version number to `0.98.0-dev.0` to fix automatic releases

Pull Request - State: closed - Opened by beetrees 7 months ago - 4 comments

#812 - Automatic releases have been failing for a couple of months

Issue - State: closed - Opened by beetrees 7 months ago

#811 - Add `f16` and `f128`

Pull Request - State: closed - Opened by beetrees 7 months ago - 4 comments

#810 - Add missing `?Sized` bounds for `HasInterner` impls

Pull Request - State: closed - Opened by Veykril 10 months ago - 6 comments

#809 - Introduce Lifetime::Error

Pull Request - State: closed - Opened by Veykril 10 months ago - 5 comments

#809 - Introduce Lifetime::Error

Pull Request - State: closed - Opened by Veykril 10 months ago - 5 comments

#808 - chore: fix typo in comment

Pull Request - State: closed - Opened by shandongbinzhou 10 months ago - 4 comments

#807 - Remove unused dependency

Pull Request - State: closed - Opened by Expyron 11 months ago - 4 comments

#806 - Rename generator to coroutine

Pull Request - State: closed - Opened by mohe2015 about 1 year ago - 4 comments

#805 - Bump deps

Pull Request - State: closed - Opened by lnicola about 1 year ago - 4 comments

#804 - Fixes typo in what_is_chalk.md

Pull Request - State: closed - Opened by hoijui about 1 year ago - 4 comments

#803 - Remove an unnecessary mut and fix warning

Pull Request - State: closed - Opened by gurry over 1 year ago - 4 comments

#802 - Upgrade to indexmap 2

Pull Request - State: closed - Opened by cuviper over 1 year ago - 4 comments

#801 - chalk-solve: upgrade petgraph to version 0.6.4

Pull Request - State: closed - Opened by gigaroby over 1 year ago - 5 comments

#800 - Push DiscriminantKind implementation fact unconditionally

Pull Request - State: closed - Opened by HKalbasi over 1 year ago - 4 comments

#799 - Pin cargo-workspaces to 0.2.44

Pull Request - State: closed - Opened by HKalbasi over 1 year ago - 12 comments

#798 - Support `FnPtr` trait

Pull Request - State: closed - Opened by lowr over 1 year ago - 4 comments

#797 - fix: generalize types before generating built-in `Normalize` clauses

Pull Request - State: closed - Opened by lowr over 1 year ago - 6 comments

#796 - Support trait upcasting

Pull Request - State: closed - Opened by lowr over 1 year ago - 4 comments

#795 - Generate clauses for placeholder associated types

Pull Request - State: closed - Opened by lowr over 1 year ago - 9 comments

#794 - Add support for `Pointee` trait

Pull Request - State: closed - Opened by HKalbasi almost 2 years ago - 9 comments

#793 - update syn to 2.0

Pull Request - State: closed - Opened by fee1-dead almost 2 years ago - 8 comments

#792 - Generalize program clause for `AliasEq` goal with nested alias

Pull Request - State: closed - Opened by lowr almost 2 years ago - 8 comments

#791 - any progress and roadmap？

Issue - State: closed - Opened by npuichigo almost 2 years ago - 1 comment

#790 - Fix projection substitution order considering GATs

Pull Request - State: closed - Opened by lowr almost 2 years ago - 4 comments

#790 - Fix projection substitution order considering GATs

Pull Request - State: closed - Opened by lowr almost 2 years ago - 4 comments

#789 - ICE: negative subgoal had delayed_subgoals

Issue - State: open - Opened by lcnr about 2 years ago - 2 comments

#789 - ICE: negative subgoal had delayed_subgoals

Issue - State: open - Opened by lcnr about 2 years ago - 2 comments

#788 - add test for bug with mixed cycles

Pull Request - State: closed - Opened by lcnr about 2 years ago - 4 comments

#787 - update `inductive_canonical_cycle` test

Pull Request - State: closed - Opened by lcnr about 2 years ago - 4 comments

#787 - update `inductive_canonical_cycle` test

Pull Request - State: closed - Opened by lcnr about 2 years ago - 4 comments

#786 - Add test for inductive canonical cycle

Pull Request - State: closed - Opened by jackh726 about 2 years ago - 4 comments

#786 - Add test for inductive canonical cycle

Pull Request - State: closed - Opened by jackh726 about 2 years ago - 4 comments

#785 - Fix dyn program clause generation and make returning a ClosureKind optional

Pull Request - State: open - Opened by jackh726 about 2 years ago - 1 comment

#785 - Fix dyn program clause generation and make returning a ClosureKind optional

Pull Request - State: open - Opened by jackh726 about 2 years ago

#784 - Add test for example found from removing fresh vars in rustc

Pull Request - State: closed - Opened by jackh726 about 2 years ago - 8 comments

#784 - Add test for example found from removing fresh vars in rustc

Pull Request - State: closed - Opened by jackh726 about 2 years ago - 8 comments

#783 - Remove empty lifetime

Pull Request - State: closed - Opened by compiler-errors about 2 years ago - 4 comments

#783 - Remove empty lifetime

Pull Request - State: closed - Opened by compiler-errors about 2 years ago - 4 comments

#782 - Implement support for the `Tuple` trait

Pull Request - State: closed - Opened by compiler-errors about 2 years ago - 4 comments

#782 - Implement support for the `Tuple` trait

Pull Request - State: closed - Opened by compiler-errors about 2 years ago - 4 comments