Search results

feature(transmutability) doesn't work

Status: Open.

#152 In rust-lang/trait-system-refactor-initiative;

· compiler-errors opened on Jan 22, 2025

GATs can weaken where clauses in impl

Status: Open.

#151 In rust-lang/trait-system-refactor-initiative;

· compiler-errors opened on Jan 22, 2025

return type sized check occurs in opaque defining env

Status: Open.

#150 In rust-lang/trait-system-refactor-initiative;

· compiler-errors opened on Jan 22, 2025

alias-bounds consider non_self_assumptions for the alias self type

S-increased-expressiveness

Status: Open.

#149 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Jan 21, 2025

misc failures and diagnostics issues

Status: Open.

#148 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Jan 21, 2025

new solver equates opaque to trait object instead of coercing

Status: Open.

#147 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Jan 21, 2025

normalize in MIR borrowck doesn't normalize, breaking soundness fix

S-does-not-impact-design

Status: Open.

#146 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Jan 21, 2025

recursive call results in unconstrained opaque type args

Status: Open.

#145 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Jan 21, 2025

unconstrained RPIT cause ambiguity errors instead of falling back to ()

Status: Open.

#144 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Jan 21, 2025

normalizing an opaque while proving its item bounds causes overflow errors

Status: Open.

#143 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Jan 21, 2025

nested RPITIT in default methods result in type mismatch

Status: Open.

#142 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Jan 21, 2025

implied-bounds and normalization

A-normalization

Status: Open.

#141 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Jan 21, 2025