All issues

Search results

RPIT not in signature or ParamEnv

Status: Open.

#31 In lcnr/random-rust-snippets;

· lcnr opened on Aug 3, 2026

ParamEnv normalization can fail as it relies on normalizing another where-clause first

Status: Open.

#30 In lcnr/random-rust-snippets;

· lcnr opened on Jun 1, 2026

ParamEnv normalizating can result in incorrectly rigid aliases

Status: Open.

#29 In lcnr/random-rust-snippets;

· lcnr opened on Jun 1, 2026

normalizing impl headers before proving constraining projection where-clauses causes unnecessary errors due to param_env preference

Status: Open.

#28 In lcnr/random-rust-snippets;

· lcnr opened on May 26, 2026

unlike closure parent args, we check member constraints for unused early-bound FnDef lifetimes

Status: Open.

#27 In lcnr/random-rust-snippets;

· lcnr opened on Apr 10, 2026

Send bounds for async closures without upvars on stable

Status: Open.

#26 In lcnr/random-rust-snippets;

· lcnr opened on Apr 1, 2026

closure signature inference can leak placeholders and fail to infer stuff to be higher ranked

Status: Open.

#25 In lcnr/random-rust-snippets;

· lcnr opened on Feb 26, 2026

closure signature inference makes me sad

Status: Open.

#24 In lcnr/random-rust-snippets;

· lcnr opened on Feb 19, 2026

param-env shadowing can cause goals to fail

Status: Open.

#23 In lcnr/random-rust-snippets;

· lcnr opened on Dec 3, 2025

borrowck can impact type inference

Status: Open.

#22 In lcnr/random-rust-snippets;

· lcnr opened on Oct 17, 2025

we don't use item bounds of opaques when resolving associated item

Status: Open.

#21 In lcnr/random-rust-snippets;

· lcnr opened on Sep 22, 2025

method selection considers nested deref steps without applying the constrains from computing them

Status: Open.

#20 In lcnr/random-rust-snippets;

· lcnr opened on Sep 15, 2025