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
#100 - Supertrait elaboration causes unnecessary param-env shadowing
Issue -
State: open - Opened by compiler-errors 4 months ago
#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
#96 - `discard_impls_shadowed_by_env` forces unnecessary ambiguity
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
#89 - alias-relate when normalizing in unnormalized env causes overflow
Issue -
State: open - Opened by lcnr 5 months ago
#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
#81 - removing eager infer var replacement improves type inference
Issue -
State: open - Opened by lcnr 7 months ago
#80 - requiring item bounds for coinduction may be breaking
Issue -
State: open - Opened by lcnr 7 months ago
- 2 comments
Labels: A-coinduction
#79 - astconv/typeck unnecessarily instantiates type variables in non-root universe
Issue -
State: open - Opened by compiler-errors 7 months ago
- 1 comment
#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
#72 - alias bound candidates for normalizable aliases allows more code to compile
Issue -
State: open - Opened by lcnr 9 months ago
#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
#69 - non-defining use in defining scope: projection goal with nested item bound
Issue -
State: open - Opened by lcnr 9 months ago
#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
#66 - unknowable trait ref ambiguity candidate can be ignored if an always applicable candidate exists
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
#62 - Associated type bounds can be used to prove themselves with trivial where-clauses
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
#60 - monotonically increasing universe indices result in generalizer issues with aliases
Issue -
State: open - Opened by lcnr 11 months ago
#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
#57 - Ambiguity, differing outlives constraints with types equal modulo normalization
Issue -
State: closed - Opened by compiler-errors 11 months ago
- 3 comments
#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
#47 - method calls on opaques in defining scope: auto deref steps results in ambiguity
Issue -
State: open - Opened by lcnr 12 months ago
#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
#38 - New solver needs to structurally normalize when checking byte string patterns without failure
Issue -
State: closed - Opened by compiler-errors about 1 year ago
- 2 comments
#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
#29 - instantiating an opaque with another opaque stops being an error
Issue -
State: open - Opened by lcnr about 1 year ago
#28 - Should we be eagerly evaluating consts in the "old"-style normalizer?
Issue -
State: open - Opened by compiler-errors about 1 year ago
#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