Search results

Fails to solve some existential clause

Status: Open.

#816 In rust-lang/chalk;

· ShoyuVanilla opened on Aug 15, 2024

Recursive Solver fails to solve recursive associated type with GAT

Status: Open.

#815 In rust-lang/chalk;

· ShoyuVanilla opened on Jul 30, 2024

Branch protection prevents automatic releases from updating the version number on the master branch

Status: Open.

#814 In rust-lang/chalk;

· beetrees opened on Jul 7, 2024

ICE: negative subgoal had delayed_subgoals

Status: Open.

#789 In rust-lang/chalk;

· lcnr opened on Jan 16, 2023

Recursive solver hangs on cyclic traits

Status: Open.

#773 In rust-lang/chalk;

· detrumi opened on Aug 10, 2022

reconcile SLG/recursive solver's attempts to merge multiple results

Status: Open.

#760 In rust-lang/chalk;

· nikomatsakis opened on Apr 12, 2022

Ambiguity through unrelated env clauses because of implied bounds

Status: Open.

#750 In rust-lang/chalk;

· flodiebold opened on Feb 26, 2022

Clean up coherence chapter in the Chalk book

Status: Open.

#749 In rust-lang/chalk;

· seanchen1991 opened on Feb 24, 2022

Idea: rework how SLG solver uses the environment

C-chalk-engineIssues related to the chalk-engine crateIssues related to the chalk-engine crate

Status: Open.

#732 In rust-lang/chalk;

· jackh726 opened on Nov 14, 2021

Recursive solver reports ambiguity

C-chalk-recursiveIssues related to the chalk-recursive crateIssues related to the chalk-recursive crate

Status: Open.

#727 In rust-lang/chalk;

· iDawer opened on Sep 25, 2021

identifying which method will run for a trait

Status: Open.

#716 In rust-lang/chalk;

· nikomatsakis opened on Jul 9, 2021

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

C-chalk-solveIssues related to the chalk-solve crateIssues related to the chalk-solve crate

Status: Open.

#758 In rust-lang/chalk;

· bstrie opened on Jun 12, 2021