2 Issues closed by 1 person

• non-defining use in defining scope: projection goal with nested item bound

  #69 closed Jul 25, 2025

• non-defining use in defining scope: region params

  #74 closed Jul 21, 2025

8 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• rayon hangs

  #109 commented on Jul 8, 2025 • 0 new comments

• vibe: negative reasoning and solver cycles

  #122 commented on Jul 8, 2025 • 0 new comments

• eagerly normalizing the `param_env` triggers impl shadowing in unavoidable ways

  #219 commented on Jul 9, 2025 • 0 new comments

• exponential blowup when rerunning due to changed provisional results

  #210 commented on Jul 9, 2025 • 0 new comments

• dealing with region uniquification

  #127 commented on Jul 22, 2025 • 0 new comments

• old solver incompletely prefers projection and object candidates

  #27 commented on Jul 24, 2025 • 0 new comments

• rustc doesn't check nested WFness if it's in a higher-ranked predicate

  #104 commented on Jul 25, 2025 • 0 new comments

• [META] merging candidates and guidance

  #124 commented on Jul 25, 2025 • 0 new comments