Suggest appropriate place for type argument after associated type

Like we do for lifetimes, suggest the appropriate place for type arguments written after associated an type.

trait Trait<T> { type Item; }
pub fn test<W, I: Trait<Item=(), W> >() {}
fn main() { }

we currently emit

error: type parameters must be declared prior to associated type bindings
  --> $DIR/issue-32214.rs:5:34
   |
LL | pub fn test<W, I: Trait<Item=(), W> >() {}
   |                                  ^

Rollup merge of rust-lang#57886 - davidtwco:issue-57385, r=estebank

Re-opening as this was regressed by #58191 (11874a0).

Why wasn't that regression caught by our tests?

Why wasn't that regression caught by our tests?

The test was also updated. Presumably it wasn't noticed and the test got --bless'd.

The above code now generates a suggestion.

help: move the constraint after the generic argument
  |
2 | pub fn test<W, I: Trait<W, Item = ()> >() {}
  |                        ~~~~~~~~~~~~~~

I assume this issue can be closed.

Navigation Menu

Repository navigation

Suggest appropriate place for type argument after associated type #57385

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Suggest appropriate place for type argument after associated type #57385

Description

Activity

davidtwco commented on Mar 30, 2019

estebank commented on Apr 1, 2019

davidtwco commented on Apr 1, 2019

IFcoltransG commented on Jan 21, 2024

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions