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

#19 - Writeback's `fix_scalar_builtin_expr` hack doesn't apply to projections

Issue - State: closed - Opened by compiler-errors over 2 years ago

#18 - Infinite loop in fulfillment ICE

Issue - State: open - Opened by compiler-errors over 2 years ago
Labels: needs-further-investigation, needs-cleaner-fix

#17 - HRTB WF ambiguity

Issue - State: open - Opened by compiler-errors over 2 years ago - 2 comments
Labels: needs-further-investigation

#16 - Non-static generators should always be unpin

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

#15 - Closure type expectations do not guide type inference?

Issue - State: closed - Opened by compiler-errors over 2 years ago
Labels: has-fix

#14 - `DiscriminantKind` assembly is wrong for placeholders

Issue - State: closed - Opened by compiler-errors over 2 years ago
Labels: has-fix

#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

#12 - Evaluation probe in new solver causes ICE in late borrowck

Issue - State: closed - Opened by compiler-errors over 2 years ago
Labels: has-fix

#11 - `{integer}` isn't considered `Send`

Issue - State: closed - Opened by compiler-errors over 2 years ago
Labels: has-fix

#10 - ICE: Placeholder const in deep rejection

Issue - State: closed - Opened by compiler-errors over 2 years ago
Labels: has-fix

#9 - Can't add `f64 + {float}`

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

#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

#6 - Unnormalized types in typeck results cause ICEs during MIR validation

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

#5 - Structural resolve doesn't actually structurally resolve

Issue - State: closed - Opened by compiler-errors over 2 years ago
Labels: hacked-around

#3 - byte slice pattern "unsizing"

Issue - State: closed - Opened by compiler-errors over 2 years ago
Labels: hacked-around, needs-cleaner-fix

#2 - Assembling inherent methods on unnormalized projection self

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

#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