Ecosyste.ms: Issues

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

GitHub / rust-lang/trait-system-refactor-initiative issues and pull requests

#99 - Overflow in mir_borrowck when normalizing region-outlives obligations

Issue - State: open - Opened by compiler-errors 4 months ago
Labels: S-breaking-change

#98 - Solver prefers param-env bound over object bound

Issue - State: open - Opened by compiler-errors 4 months ago - 1 comment

#97 - eagerly proving nested goals + incompleteness -> breakage

Issue - State: open - Opened by lcnr 4 months ago

#95 - inspect analyse visitor causes hangs

Issue - State: open - Opened by lcnr 4 months ago

#94 - handling overflow in fulfill

Issue - State: open - Opened by lcnr 5 months ago

#93 - coherence now uses fulfillment

Issue - State: closed - Opened by lcnr 5 months ago - 1 comment

#92 - normalizes-to being 1-step normalization and alias-relate

Issue - State: open - Opened by lcnr 5 months ago

#91 - object_safe_for_dispatch: auto trait bounds

Issue - State: open - Opened by lcnr 5 months ago

#90 - `AliasBound` + `ParamEnv` candidate eq modulo regions

Issue - State: open - Opened by lcnr 5 months ago - 8 comments
Labels: blocks-crater

#88 - `DoubleEndedIterator` implementation causes overflow libcore build

Issue - State: closed - Opened by compiler-errors 5 months ago - 3 comments

#87 - try-block results in error

Issue - State: open - Opened by lcnr 5 months ago

#86 - Normalizes-to terms equal modulo normalization

Issue - State: closed - Opened by compiler-errors 5 months ago - 2 comments

#85 - leak check for param-env projection candidates

Issue - State: closed - Opened by lcnr 5 months ago - 1 comment

#84 - super trait bounds equal modulo normalization

Issue - State: closed - Opened by lcnr 6 months ago - 1 comment

#83 - Normalizes-to overflow with rigid alias with redundant bound

Issue - State: open - Opened by compiler-errors 6 months ago - 2 comments

#82 - normalizing in writeback causes cycle errors with generators

Issue - State: open - Opened by compiler-errors 6 months ago - 5 comments

#80 - requiring item bounds for coinduction may be breaking

Issue - State: open - Opened by lcnr 7 months ago - 2 comments
Labels: A-coinduction

#78 - Structural normalization tries to normalize (later) rigid aliases

Issue - State: closed - Opened by compiler-errors 7 months ago - 3 comments

#77 - alias-bounds for normalizable alias + deeply normalize ~> MIR typeck ICE

Issue - State: closed - Opened by lcnr 7 months ago - 2 comments

#76 - using impl candidates shadowed by where-bound overflows by using impl with only super trait bounds

Issue - State: open - Opened by lcnr 8 months ago - 1 comment
Labels: A-normalization

#75 - equality of aliases with ambiguous normalization

Issue - State: open - Opened by lcnr 8 months ago

#74 - non-defining use in defining scope: region params

Issue - State: open - Opened by lcnr 8 months ago

#73 - typenum requires non-fatal overflow

Issue - State: open - Opened by lcnr 8 months ago - 2 comments
Labels: A-performance, A-overflow

#71 - Weaker closure signature inference

Issue - State: open - Opened by compiler-errors 9 months ago - 1 comment

#70 - `-Ztrait-solver=next-coherence`: issue-90662-projection-caching.rs breaks

Issue - State: closed - Opened by lcnr 9 months ago - 3 comments

#68 - alias-relate results in exponential blowup

Issue - State: closed - Opened by lcnr 9 months ago

#67 - non-fatal overflow makes more code compile

Issue - State: open - Opened by lcnr 9 months ago

#65 - opaque auto trait leakage in coherence

Issue - State: closed - Opened by lcnr 9 months ago - 2 comments

#64 - region checking in intercrate mode

Issue - State: open - Opened by lcnr 10 months ago - 2 comments
Labels: A-coherence

#63 - we eagerly normalize Type-outlives bounds

Issue - State: open - Opened by compiler-errors 10 months ago - 2 comments

#61 - Outlives obligations aren't normalized before processing

Issue - State: closed - Opened by compiler-errors 10 months ago - 2 comments
Labels: A-normalization, not-blocking-coherence

#59 - Unsound associated type outlives bound due to lazy norm

Issue - State: open - Opened by compiler-errors 11 months ago - 1 comment
Labels: not-blocking-coherence

#58 - how to check the global cache

Issue - State: open - Opened by lcnr 11 months ago

#56 - `fn match_fresh_trait_refs` removal

Issue - State: open - Opened by lcnr 11 months ago - 2 comments
Labels: S-increased-expressiveness, A-overflow

#55 - Typenum ambiguity

Issue - State: closed - Opened by compiler-errors 11 months ago - 9 comments

#54 - the provisional cache incorrectly handles inductive overflow

Issue - State: closed - Opened by lcnr 11 months ago - 6 comments

#53 - `fn try_merge_responses` behavior

Issue - State: open - Opened by lcnr 11 months ago - 2 comments

#52 - Ambiguity in `assemble_candidates_after_normalizing_self_ty` causes coherence error

Issue - State: closed - Opened by compiler-errors 12 months ago - 2 comments
Labels: S-breaking-change, A-coherence

#51 - Trait ref is not considered knowable due to normalization

Issue - State: closed - Opened by compiler-errors 12 months ago
Labels: A-coherence

#50 - Inductive cycles are treated as ambiguous in new solver, failure in old solver

Issue - State: closed - Opened by compiler-errors 12 months ago - 1 comment
Labels: A-coherence

#49 - not normalizing tait parameters before checking if it's a defining usage

Issue - State: open - Opened by compiler-errors 12 months ago
Labels: A-incomplete, A-normalization

#48 - matching on `b` for `Unsize` requires normalization

Issue - State: closed - Opened by lcnr 12 months ago - 2 comments

#46 - `associated_type_defaults` are unsound in the new solver

Issue - State: open - Opened by compiler-errors 12 months ago - 7 comments

#45 - incompleteness when merging trait candidates

Issue - State: open - Opened by lcnr 12 months ago
Labels: A-incomplete

#44 - GAT where bounds of impl candidates

Issue - State: open - Opened by lcnr 12 months ago
Labels: A-normalization

#43 - ICE: expected goal term to be fully unconstrained

Issue - State: open - Opened by lcnr about 1 year ago - 2 comments

#42 - normalization using the new solver

Issue - State: open - Opened by lcnr about 1 year ago

#41 - selection in the new solver

Issue - State: open - Opened by lcnr about 1 year ago

#40 - non-defining use in defining scope, how to handle

Issue - State: open - Opened by lcnr about 1 year ago - 1 comment

#39 - soundly supporting specialization

Issue - State: open - Opened by lcnr about 1 year ago

#37 - stronger leak-check

Issue - State: open - Opened by aliemjay about 1 year ago - 2 comments
Labels: S-increased-expressiveness

#36 - WF of a type variable unconditionally evaluates to `Yes`

Issue - State: closed - Opened by aliemjay about 1 year ago - 1 comment

#35 - overlapping impl candidates are no longer an error

Issue - State: open - Opened by aliemjay about 1 year ago - 2 comments
Labels: stabilization-report-relevant

#34 - weaker leak-check in new solver

Issue - State: open - Opened by aliemjay about 1 year ago - 3 comments

#33 - non-fatal overflow may make crate depend on the recursion limit

Issue - State: open - Opened by lcnr about 1 year ago

#32 - opaque types in the defining scope auto trait candidate

Issue - State: open - Opened by lcnr about 1 year ago

#31 - impl vs param_env candidates in normalization

Issue - State: closed - Opened by aliemjay about 1 year ago - 3 comments

#30 - uniquifying region constraints

Issue - State: open - Opened by lcnr about 1 year ago
Labels: S-info

#27 - old solver incompletely prefers projection and object candidates

Issue - State: open - Opened by lcnr about 1 year ago - 2 comments
Labels: A-incomplete

#26 - Incompleteness in preferring subst-relate candidate in alias-relate goals

Issue - State: closed - Opened by compiler-errors about 1 year ago - 3 comments
Labels: A-incomplete

#25 - Incompleteness via bidirectional normalizes-to

Issue - State: closed - Opened by compiler-errors about 1 year ago - 4 comments
Labels: A-incomplete

#24 - where does the leakcheck happen

Issue - State: open - Opened by lcnr about 1 year ago
Labels: S-info

#23 - hir typeck decision making now checks whether nested `eq`/`sub` obligations hold

Issue - State: open - Opened by lcnr about 1 year ago - 1 comment
Labels: not-blocking-coherence

#22 - normalizes-to for projections ignores term when choosing candidates

Issue - State: open - Opened by lcnr about 1 year ago
Labels: S-info

#21 - instantiate query response nested obligations

Issue - State: closed - Opened by lcnr about 1 year ago - 2 comments

#20 - ambiguity on inductive cycles

Issue - State: open - Opened by lcnr about 1 year ago - 3 comments
Labels: S-breaking-change, A-coherence

#19 - erasing universe info in query inputs

Issue - State: open - Opened by lcnr about 1 year ago

#18 - intentional incompleteness

Issue - State: closed - Opened by lcnr about 1 year ago - 2 comments
Labels: A-winnowing

#17 - should looking up the defined opaque types be structural or semantic

Issue - State: open - Opened by lcnr about 1 year ago - 1 comment
Labels: not-blocking-coherence

#16 - defining opaque types with aliases which normalize to params

Issue - State: open - Opened by lcnr about 1 year ago
Labels: not-blocking-coherence

#15 - structurally resolve how does it work

Issue - State: open - Opened by lcnr about 1 year ago
Labels: not-blocking-coherence

#14 - normalizing in writeback

Issue - State: closed - Opened by lcnr about 1 year ago - 1 comment

#13 - trait solver hangs for recursively expanding coinductive cycles

Issue - State: open - Opened by lcnr about 1 year ago
Labels: A-coinduction, A-overflow

#12 - normalization does not use impls covered by param env candidates

Issue - State: open - Opened by lcnr about 1 year ago - 5 comments
Labels: S-increased-expressiveness, A-normalization, not-blocking-coherence

#11 - changed how we arbitrarily choose candidates for trait goals

Issue - State: closed - Opened by lcnr about 1 year ago - 2 comments
Labels: S-breaking-change, A-winnowing

#10 - projection obligations were accepted in - otherwise coinductive - global cycles

Issue - State: open - Opened by lcnr about 1 year ago - 2 comments
Labels: S-breaking-change, A-coinduction

#9 - impls with higher ranked projections are now usable

Issue - State: open - Opened by lcnr about 1 year ago - 1 comment
Labels: S-increased-expressiveness, A-normalization

#8 - generalization is incomplete for aliases

Issue - State: open - Opened by lcnr about 1 year ago
Labels: S-unsound, A-incomplete, A-normalization

#7 - `AliasRelate` hides info in transitive cases

Issue - State: open - Opened by lcnr about 1 year ago
Labels: S-breaking-change, S-concern, A-normalization

#6 - `AliasBound` candidates for normalizeable aliases are unsound

Issue - State: open - Opened by lcnr about 1 year ago - 2 comments
Labels: S-unsound, A-normalization

#5 - Are object bounds sound?

Issue - State: open - Opened by compiler-errors about 1 year ago - 1 comment
Labels: A-normalization

#4 - Ambiguity for projection candidates that aren't equal, but *are* equal modulo normalization

Issue - State: open - Opened by compiler-errors about 1 year ago - 5 comments
Labels: S-breaking-change, A-normalization

#3 - Should we deeply normalize during writeback, or at the post-typeck places that need a "structurally resolved" type?

Issue - State: open - Opened by compiler-errors about 1 year ago - 2 comments
Labels: A-normalization, not-blocking-coherence

#2 - alias-eq is weaker than just subst-relate for "rigid" associated types

Issue - State: closed - Opened by compiler-errors about 1 year ago - 1 comment
Labels: S-breaking-change, A-normalization

#1 - normalizes-to bound in old solver is stronger than new solver

Issue - State: closed - Opened by compiler-errors about 1 year ago - 3 comments
Labels: S-breaking-change, S-concern, A-normalization, I-unresolved