# Backlog bonanza

WG-traits labels: https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AWG-traits

# Untriaged

### "Tracking Issue for sound builtin auto trait impls" rust#93367

**Link:** https://github.com/rust-lang/rust/issues/93367

# 2022-06-10

Discuss https://github.com/rust-lang/rust/pull/97867
- Should be fine

## Type inference error: the type of this value must be known in this context #23012

This particular issue seems more like a bug fix, but some extended patterns seem more like a feature.

TL;DR right now we say

If there is some trait obligation ?T: FnOnce(A...), then we take the args from A...
...but it seems reasonable to say

If there is some trait obligation that implies (through the "invariants", in mir-formality-terms) ?T: FnOnce(A...), then we take the args from A...
...and that would fix this example (types team), but not a bunch of related ones (lang team).

Left comment: https://github.com/rust-lang/rust/issues/23012#issuecomment-1152397290

+A-implied-bounds,T-types,S-types-enhancement, -T-compiler,WG-traits

# 2022-06-17

### "Projections, lifetimes, and WF tracking issue (RFC 1214)" rust#27579

**Link:** https://github.com/rust-lang/rust/issues/27579

Closed

### "🔬 Tracking issue for generic associated types (GAT)" rust#44265

**Link:** https://github.com/rust-lang/rust/issues/44265

No change

added S-tracking-ready-to-stabilize T-types S-types-tracked and removed WG-traits S-tracking-needs-summary

### "🔬 Tracking issue for RFC 2089: Implied bounds" rust#44491

**Link:** https://github.com/rust-lang/rust/issues/44491

jackh726 added S-tracking-ready-to-stabilize T-types and removed WG-traits S-tracking-needs-summary labels now

### "Tracking issue for `arbitrary_self_types`" rust#44874

**Link:** https://github.com/rust-lang/rust/issues/44874

-WG-traits +T-types +S-types-deferred

### "indexing is invariant with respect to key" rust#46060

**Link:** https://github.com/rust-lang/rust/issues/46060

closed

### "enable elision in where-clauses on functions" rust#45667

**Link:** https://github.com/rust-lang/rust/issues/45667

-WG-traits, +T-types, +S-types-deferred, +E-medium

### "tracking issue for "chalkification"" rust#48049

**Link:** https://github.com/rust-lang/rust/issues/48049

closed

# 2022-06-24

### "🛠 improve canonicalization by using a hashing scheme" rust#48417

**Link:** https://github.com/rust-lang/rust/issues/48417

Closing.

### "🛠️ specialization permits empty impls when parent has no default items" rust#48444

**Link:** https://github.com/rust-lang/rust/issues/48444

-WG-traits, +T-types, +S-types-deferred

### "🔬 implement "always applicable impls"" rust#48538

**Link:** https://github.com/rust-lang/rust/issues/48538

-WG-traits, +T-types, +S-types-deferred

### "Traits and associated types are not properly resolved in trait clauses" rust#48674

**Link:** https://github.com/rust-lang/rust/issues/48674

-WG-traits, +T-types, +S-types-deferred

### "use `evaluate_obligation` to decide when to do unsized coercions" rust#50753

**Link:** https://github.com/rust-lang/rust/issues/50753

-WG-traits, +T-types, +S-types-tracked
Assigned to oli to mentor

### "Higher ranked trivial bounds are not checked" rust#50935

**Link:** https://github.com/rust-lang/rust/issues/50935

-WG-traits, +T-types, +S-types-tracked
Assigned to compiler-errors

### "Tracking issue for RFC 2397, "#[do_not_recommend]"" rust#51992

**Link:** https://github.com/rust-lang/rust/issues/51992

-WG-traits, +WG-diagnostics

### "Tracking issue for RFC 2289, "Associated type bounds"" rust#52662

**Link:** https://github.com/rust-lang/rust/issues/52662

-WG-traits, +T-types, +S-types-tracked
Assigned to oli as part of opaque type work

### "impl Trait with associated type equality constraint fails to resolve when constraint contains associated type of non-parameter type" rust#53984

**Link:** https://github.com/rust-lang/rust/issues/53984

Closing as fixed

### "user type annotations are captured post normalization" rust#54940

**Link:** https://github.com/rust-lang/rust/issues/54940

-WG-traits, +T-types, +S-types-track
Already assigned to lcnr