GitHub / rust-lang/trait-system-refactor-initiative issues and pull requests
Labelled with: A-overflow
#73 - typenum requires non-fatal overflow
Issue -
State: closed - Opened by lcnr about 2 years ago
- 3 comments
Labels: A-performance, A-overflow
#56 - `fn match_fresh_trait_refs` removal
Issue -
State: open - Opened by lcnr over 2 years ago
- 2 comments
Labels: S-increased-expressiveness, A-overflow
#13 - trait solver hangs for recursively expanding coinductive cycles
Issue -
State: closed - Opened by lcnr over 2 years ago
- 1 comment
Labels: A-coinduction, A-overflow