rust-lang/chalk

Issues

• Fails to solve some existential clause

  #816 opened 4 months ago by ShoyuVanilla
  2

• Recursive Solver fails to solve recursive associated type with GAT

  #815 opened 5 months ago by ShoyuVanilla
  0

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

  #814 opened 6 months ago by beetrees
  0

• Automatic releases have been failing for a couple of months

  #812 opened 6 months ago by beetrees
  0

• Unable to deduce projection types of dyn types from supertrait bounds

  #777 opened 2 years ago by lowr
  0

• any progress and roadmap？

  #791 opened 2 years ago by npuichigo
  1

• ICE: negative subgoal had delayed_subgoals

  #789 opened 2 years ago by lcnr
  2

• Recursive solver hangs on cyclic traits

  #773 opened 2 years ago by detrumi
  3

• Lowered command panics with auto trait

  #762 opened 2 years ago by jrr45
  1

• mdbook-mermaid needs updating

  #775 opened 2 years ago by detrumi
  0

• Auto traits are not handled for generic closures

  #734 opened 2 years ago by matthewjasper
  8

• book: hard to read mermaid diagram in dark themes

  #761 opened 3 years ago by lowr
  0

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

  #760 opened 3 years ago by nikomatsakis
  0

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

  #758 opened 4 years ago by bstrie
  1

• Opaque type issue

  #700 opened 4 years ago by cynecx
  1

• Recursive solver reports ambiguity

  #727 opened 3 years ago by iDawer
  7

• Ambiguity through unrelated env clauses because of implied bounds

  #750 opened 3 years ago by flodiebold
  1

• Clean up coherence chapter in the Chalk book

  #749 opened 3 years ago by seanchen1991
  1

• identifying which method will run for a trait

  #716 opened 3 years ago by nikomatsakis
  9

• Consider removing unused field

  #742 opened 3 years ago by pierwill
  0

• Solving closure goal keeps expanding lifetimes

  #688 opened 4 years ago by detrumi
  12

• Idea: rework how SLG solver uses the environment

  #732 opened 3 years ago by jackh726
  0

• When Rust 1.55 hits stable, replace `ControlFlow` with std version

  #725 opened 3 years ago by jackh726
  0

• CI Publish job using Mac runner

  #721 opened 3 years ago by AzureMarker
  2

• Publishing is broken

  #719 opened 3 years ago by lnicola
  1

• RELEASES.md has no information on the automated releases

  #665 opened 4 years ago by AzureMarker
  2

• Impl auto traits for builtin types

  #604 opened 4 years ago by jackh726
  6

• tracing-tree gets activated by chalk-recursive

  #686 opened 4 years ago by matklad
  2

• Opaque type doesn't find super traits impls

  #677 opened 4 years ago by detrumi
  1

• Generator followup work

  #618 opened 4 years ago by jackh726
  1

• Don't treat primitives as a separate syntactic class

  #636 opened 4 years ago by camelid
  2

• Compute flags only when interning

  #666 opened 4 years ago by jackh726
  0

• Env elaborater doesn't handle canonically-bound vars correctly

  #670 opened 4 years ago by jackh726
  0

• Endless loop in recursive solver

  #667 opened 4 years ago by flodiebold
  4

• Consider builtin types when enumerating trait impls

  #605 opened 4 years ago by jackh726
  1

• Make reproducing test(s) for failing to generalize program clauses

  #614 opened 4 years ago by nathanwhit
  2

• Recursive solver fails on some WF checks

  #587 opened 4 years ago by nathanwhit
  2

• add flags to `InternedTy` and `InternedRegion` types

  #627 opened 4 years ago by nikomatsakis
  3

• Regression with unification within fn (?)

  #658 opened 4 years ago by flodiebold
  5

• Refactor Fold to take by value

  #642 opened 4 years ago by detrumi
  5

• Add ReErased and ReEmpty

  #637 opened 4 years ago by jackh726
  0

• Remove TargetInterner

  #643 opened 4 years ago by detrumi
  1

• Update docs related to `TypeName`

  #631 opened 4 years ago by camelid
  0

• unimplemented macro calls are crashing rust-analyzer

  #621 opened 4 years ago by Nashenas88
  0

• Add static lifetime

  #610 opened 4 years ago by detrumi
  4

• Implement clauses to allow multi-parameter fundamental types

  #615 opened 4 years ago by jackh726
  0

• Support extern opaque types.

  #595 opened 4 years ago by crlf0710
  5

• Exists-forall gives false solution for consts

  #597 opened 4 years ago by hayashi-stl
  0

• Regression for well known trait impls for builtin types

  #590 opened 4 years ago by jackh726
  3

• Updating rust to chalk 0.19.0 requires chalk-integration to be published to crates.io

  #586 opened 4 years ago by vandenheuvel
  2