Data

Tools

Indexes

Applications

Experiments

Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / rust-lang/chalk issues and pull requests

#830 - fix: Don't panic when formatting without Program

Pull Request - State: closed - Opened by ChayimFriedman2 2 months ago - 5 comments

#829 - fix: Fix retrieval of `AsyncFnOnce::Output`

Pull Request - State: closed - Opened by ChayimFriedman2 2 months ago - 3 comments

#828 - Fix program clause generation for GATs

Pull Request - State: closed - Opened by jackh726 3 months ago - 1 comment

#827 - Put assoc type params after trait params (like rustc)

Pull Request - State: closed - Opened by jackh726 4 months ago

#825 - Bump versions to `0.100.0-dev.0`

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

#824 - Implement built-in supports for `AsyncFn*` traits

Pull Request - State: closed - Opened by ShoyuVanilla 5 months ago - 2 comments

#823 - Supports for async closures

Issue - State: closed - Opened by ShoyuVanilla 5 months ago - 5 comments

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

Pull Request - State: closed - Opened by WaffleLapkin 7 months ago - 2 comments

#821 - Implement trait upcasting

Pull Request - State: closed - Opened by WaffleLapkin 7 months ago - 9 comments

#820 - Set rustfmt `style_edition` to 2024

Pull Request - State: closed - Opened by WaffleLapkin 7 months ago - 2 comments

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

Pull Request - State: open - Opened by davidbarsky 8 months ago - 2 comments

#818 - Configure CI for merge queue

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

#817 - Remove unnecessary symbols and add missing symbols

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

#816 - Fails to solve some existential clause

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

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

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

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

Issue - State: closed - Opened by beetrees about 1 year ago

#811 - Add `f16` and `f128`

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

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

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

#809 - Introduce Lifetime::Error

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

#808 - chore: fix typo in comment

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

#807 - Remove unused dependency

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

#806 - Rename generator to coroutine

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

#805 - Bump deps

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

#804 - Fixes typo in what_is_chalk.md

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

#803 - Remove an unnecessary mut and fix warning

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

#802 - Upgrade to indexmap 2

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

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

Pull Request - State: closed - Opened by gigaroby almost 2 years ago - 5 comments

#800 - Push DiscriminantKind implementation fact unconditionally

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

#799 - Pin cargo-workspaces to 0.2.44

Pull Request - State: closed - Opened by HKalbasi about 2 years ago - 12 comments

#798 - Support `FnPtr` trait

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

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

Pull Request - State: closed - Opened by lowr about 2 years ago - 6 comments

#796 - Support trait upcasting

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

#795 - Generate clauses for placeholder associated types

Pull Request - State: closed - Opened by lowr over 2 years ago - 9 comments

#794 - Add support for `Pointee` trait

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

#793 - update syn to 2.0

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

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

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

#791 - any progress and roadmap？

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

#790 - Fix projection substitution order considering GATs

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

#789 - ICE: negative subgoal had delayed_subgoals

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

#788 - add test for bug with mixed cycles

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

#787 - update `inductive_canonical_cycle` test

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

#786 - Add test for inductive canonical cycle

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

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

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

#783 - Remove empty lifetime

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

#782 - Implement support for the `Tuple` trait

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

#781 - fix: consider ADT's generic parameters

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

#780 - Generate `Normalize` clauses for dyn and opaque types

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

#779 - Fix parameter for `Interner` in `derive(FallibleTypeFolder)` macro

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

#778 - Fix `Self` type retrieval from `ProjectionTy`

Pull Request - State: closed - Opened by lowr almost 3 years ago - 7 comments

#776 - Update mdbook-mermaid

Pull Request - State: closed - Opened by detrumi almost 3 years ago - 4 comments

#775 - mdbook-mermaid needs updating

Issue - State: closed - Opened by detrumi almost 3 years ago

#774 - Implement should_continue in chalk-recursive

Pull Request - State: closed - Opened by detrumi almost 3 years ago - 6 comments

#773 - Recursive solver hangs on cyclic traits

Issue - State: open - Opened by detrumi almost 3 years ago - 3 comments

#772 - Split fallible infallible folding

Pull Request - State: closed - Opened by eggyal about 3 years ago - 4 comments

#771 - Bump crossbeam-utils from 0.8.5 to 0.8.9

Pull Request - State: closed - Opened by dependabot[bot] about 3 years ago - 6 comments
Labels: dependencies

#770 - Detect dark theme for mermaid diagrams

Pull Request - State: closed - Opened by detrumi about 3 years ago - 4 comments

#769 - Add workaround for GitHub doc url's returning 403

Pull Request - State: closed - Opened by detrumi about 3 years ago - 4 comments

#768 - Remove unused Result assoc type from Fold trait

Pull Request - State: closed - Opened by eggyal about 3 years ago - 11 comments

#767 - Rename folding/visiting traits

Pull Request - State: closed - Opened by eggyal about 3 years ago - 6 comments

#766 - Bump thread_local from 1.1.3 to 1.1.4

Pull Request - State: closed - Opened by dependabot[bot] about 3 years ago - 5 comments
Labels: dependencies

#765 - Typo

Pull Request - State: closed - Opened by lengyijun about 3 years ago - 4 comments

#764 - Bump regex from 1.5.4 to 1.5.5

Pull Request - State: closed - Opened by dependabot[bot] about 3 years ago - 5 comments
Labels: dependencies

#763 - Bump crossbeam-utils from 0.8.5 to 0.8.8

Pull Request - State: closed - Opened by dependabot[bot] about 3 years ago - 2 comments
Labels: dependencies

#762 - Lowered command panics with auto trait

Issue - State: closed - Opened by jrr45 about 3 years ago - 1 comment

#761 - book: hard to read mermaid diagram in dark themes

Issue - State: closed - Opened by lowr about 3 years ago

#759 - Fix function pointers of different param counts unifying

Pull Request - State: closed - Opened by flodiebold over 3 years ago - 4 comments

#758 - Fix/upgrade Chalk in wake of librarifying Copy/Clone on arrays and reinstate test

Issue - State: open - Opened by bstrie about 4 years ago - 1 comment
Labels: C-chalk-solve

#757 - Use SPDX license format

Pull Request - State: closed - Opened by atouchet over 3 years ago - 4 comments

#756 - Add missing fold_free_var_const

Pull Request - State: closed - Opened by HKalbasi over 3 years ago - 4 comments

#755 - Solve auto traits for closures (issue #734)

Pull Request - State: closed - Opened by shamatar over 3 years ago - 4 comments

#754 - we only need to prove things one way

Pull Request - State: closed - Opened by nikomatsakis over 3 years ago - 13 comments

#753 - Fix clippy warnings

Pull Request - State: closed - Opened by Kinrany over 3 years ago - 4 comments

#752 - recursive: fix hang on fulfill by slightly smarter check for progress.

Pull Request - State: closed - Opened by Dirbaio over 3 years ago - 7 comments

#751 - repl: add --solver flag.

Pull Request - State: closed - Opened by Dirbaio over 3 years ago - 4 comments

#750 - Ambiguity through unrelated env clauses because of implied bounds

Issue - State: open - Opened by flodiebold over 3 years ago - 1 comment

#749 - Clean up coherence chapter in the Chalk book

Issue - State: open - Opened by seanchen1991 over 3 years ago - 1 comment

#748 - Add some additional topics to todo.md

Pull Request - State: closed - Opened by seanchen1991 over 3 years ago - 4 comments

#747 - [WIP] Fix auto-traits for generic closures

Pull Request - State: closed - Opened by pierwill over 3 years ago

#746 - Update `indexmap` to 1.8.0

Pull Request - State: closed - Opened by pierwill over 3 years ago - 4 comments

#745 - Add ProjectionTerm

Pull Request - State: closed - Opened by JulianKnodt over 3 years ago - 9 comments

#744 - Allow tests to be updated automatically

Pull Request - State: closed - Opened by ecstatic-morse over 3 years ago - 15 comments

#743 - Remove unused field

Pull Request - State: closed - Opened by pierwill over 3 years ago - 7 comments

#742 - Consider removing unused field

Issue - State: closed - Opened by pierwill over 3 years ago

#741 - Allow `test` invocations to elide empty `program` declarations

Pull Request - State: closed - Opened by ecstatic-morse over 3 years ago - 4 comments

#740 - Remove `Ord` from `chalk_ir::interner::DefId`

Pull Request - State: closed - Opened by pierwill over 3 years ago - 8 comments

#739 - Remove `Ord` from `chalk_ir::interner::DefId`

Pull Request - State: closed - Opened by pierwill over 3 years ago - 1 comment

#738 - Make DispatchFromDyn a well-known type

Pull Request - State: closed - Opened by nrc over 3 years ago - 7 comments

#737 - chore: update tracing dependencies (amongst others)

Pull Request - State: closed - Opened by davidbarsky over 3 years ago - 4 comments

#736 - Support const evaluation

Pull Request - State: open - Opened by HKalbasi over 3 years ago - 5 comments

#735 - Use owned copies of Interner rather than refs

Pull Request - State: closed - Opened by eggyal over 3 years ago - 4 comments

#734 - Auto traits are not handled for generic closures

Issue - State: closed - Opened by matthewjasper over 3 years ago - 8 comments
Labels: good first issue, C-chalk-solve

#733 - Allow tests to override the default closure impls

Pull Request - State: open - Opened by JakobDegen over 3 years ago - 1 comment

#732 - Idea: rework how SLG solver uses the environment

Issue - State: open - Opened by jackh726 over 3 years ago
Labels: C-chalk-engine

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

Pull Request - State: closed - Opened by JakobDegen over 3 years ago - 4 comments