# 2022-10-21 issue triage

## Nominated issues

### Enforce that closure: 'a requires that closure_ret_ty: 'a holds #84385

Going to schedule a deep dive - un-nominating and changing to waiting-on-team

### Allow impl Fn() -> impl Trait in return position #93582

compiler-errors to followup, un-nominating

### avoid making substs of type aliases late bound when used as fn args #100508

~~Jack to open lang+types FCP and register concerns for 1) More test 2) Long-term plan~~

Niko to review :)

## Unsound issues

### Functions, closures, and HRTB-trait-objects can implement traits such that validity of associated types is never checked. #84533

Eventually to be solved by implied types

### HRTB on subtrait unsoundly provides HTRB on supertrait with weaker implied bounds #84591

Eventually to be solved by implied types. Seems to be the same underlying issue as #84533.

### Unsoundness due to where clauses not checked for well-formedness #98117

Probably WF testing of where-clauses + implied types

### orphan check incorrectly handles projections #99554

PR open to land as future-compat lint

### Normalization can skip WF #100041

#100046 is open, but blocked on implied bounds of unnormalized types (lcnr to do)

### implied bounds from projections in impl header can be unsound #100051

Should fall out of work from lcnr on above issue

### relating projection substs is unsound during coherence #102048

Fixed by #96912, but needs non-fatal overflow errors

## P-high

https://github.com/rust-lang/rust/issues?q=label%3AT-types+label%3AP-high+