An open API service for providing issue and pull request metadata for open source projects.

GitHub / compiler-errors/next-solver-hir-issues issues and pull requests

Labelled with: fundamental-issue

#13 - Nested projection normalization results in ambiguity

Issue - State: closed - Opened by compiler-errors over 2 years ago - 6 comments
Labels: needs-further-investigation, fundamental-issue

#7 - Alias-eq weakens inference in HIR typeck

Issue - State: closed - Opened by compiler-errors over 2 years ago - 1 comment
Labels: hacked-around, needs-design, fundamental-issue

#1 - Normalizes-to for a trait-bound-only param

Issue - State: closed - Opened by compiler-errors over 2 years ago - 1 comment
Labels: fundamental-issue