Search results

typenum requires non-fatal overflow

A-overflowHaving to do with overflowHaving to do with overflow

A-performance

Status: Open.

#73 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Oct 31, 2023

<code>fn match_fresh_trait_refs</code> removal

A-overflowHaving to do with overflowHaving to do with overflow

S-increased-expressiveness

Status: Open.

#56 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Aug 7, 2023

trait solver hangs for recursively expanding coinductive cycles

A-coinduction

A-overflowHaving to do with overflowHaving to do with overflow

Status: Open.

#13 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on May 8, 2023