Search results

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

Opaque type issue

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

Status: Open.

#700 In rust-lang/chalk;

· cynecx opened on Apr 12, 2021

Solving closure goal keeps expanding lifetimes

bugA bugA bug

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

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

Status: Open.

#688 In rust-lang/chalk;

· detrumi opened on Feb 27, 2021

Impl auto traits for builtin types

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

good first issueA good issue to start working on Chalk withA good issue to start working on Chalk with

Status: Open.

#604 In rust-lang/chalk;

· jackh726 opened on Sep 8, 2020

Support const evaluation

C-chalk-irIssues related to the chalk-ir crateIssues related to the chalk-ir crate

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

Status: Open.

#548 In rust-lang/chalk;

· jackh726 opened on Jun 30, 2020

Support associated consts

C-chalk-irIssues related to the chalk-ir crateIssues related to the chalk-ir crate

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

Status: Open.

#547 In rust-lang/chalk;

· jackh726 opened on Jun 30, 2020

Add callback to get layout data

C-chalk-irIssues related to the chalk-ir crateIssues related to the chalk-ir crate

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

good first issueA good issue to start working on Chalk withA good issue to start working on Chalk with

Status: Open.

#518 In rust-lang/chalk;

· basil-cow opened on Jun 11, 2020

rework how canonical and universe mapping works

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

Status: Open.

#512 In rust-lang/chalk;

· nikomatsakis opened on Jun 10, 2020

refactor how RustIr manages ADTs (and maybe other types)

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

Status: Open.

#506 In rust-lang/chalk;

· nikomatsakis opened on Jun 9, 2020

Extend Chalk with support for well-known, builtin traits

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

Status: Open.

#363 In rust-lang/chalk;

· nikomatsakis opened on Mar 27, 2020

preliminary model for "opaque types" where hidden types are known

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

current-sprintBeing worked on in the current sprintBeing worked on in the current sprint

Status: Open.

#335 In rust-lang/chalk;

· nikomatsakis opened on Feb 26, 2020

support "specialized" impls

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

designNeeds design workNeeds design work

needs triageNeeds to be discussedNeeds to be discussed

rustc integrationRelated to or required for rustc integrationRelated to or required for rustc integration

Status: Open.

#219 In rust-lang/chalk;

· nikomatsakis opened on May 3, 2019