rust/tests/ui/span/issue-35987.rs

struct Foo<T: Clone>(T);

use std::ops::Add;

impl<T: Clone, Add> Add for Foo<T> {
//~^ ERROR expected trait, found type parameter
    type Output = usize;

    fn add(self, rhs: Self) -> Self::Output {
        //~^ ERROR ambiguous associated type
        unimplemented!();
    }
}

fn main() {}
Point to type argument span when used as trait Given the following code: ```rust struct Foo<T: Clone>(T); use std::ops::Add; impl<T: Clone, Add> Add for Foo<T> { type Output = usize; fn add(self, rhs: Self) -> Self::Output { unimplemented!(); } } ``` present the following output: ```nocode error[E0404]: `Add` is not a trait --> file3.rs:5:21 \| 5 \| impl<T: Clone, Add> Add for Okok<T> { \| --- ^^^ expected trait, found type parameter \| \| \| type parameter defined here ``` 2016-10-27 03:51:49 +00:00			`struct Foo<T: Clone>(T);`

			`use std::ops::Add;`

			`impl<T: Clone, Add> Add for Foo<T> {`
Merge cfail and ui tests into ui tests 2017-11-20 12:13:27 +00:00			`//~^ ERROR expected trait, found type parameter`
Point to type argument span when used as trait Given the following code: ```rust struct Foo<T: Clone>(T); use std::ops::Add; impl<T: Clone, Add> Add for Foo<T> { type Output = usize; fn add(self, rhs: Self) -> Self::Output { unimplemented!(); } } ``` present the following output: ```nocode error[E0404]: `Add` is not a trait --> file3.rs:5:21 \| 5 \| impl<T: Clone, Add> Add for Okok<T> { \| --- ^^^ expected trait, found type parameter \| \| \| type parameter defined here ``` 2016-10-27 03:51:49 +00:00			`type Output = usize;`

			`fn add(self, rhs: Self) -> Self::Output {`
Merge collect_mod_item_types query into check_well_formed 2024-02-23 11:45:44 +00:00			`//~^ ERROR ambiguous associated type`
Point to type argument span when used as trait Given the following code: ```rust struct Foo<T: Clone>(T); use std::ops::Add; impl<T: Clone, Add> Add for Foo<T> { type Output = usize; fn add(self, rhs: Self) -> Self::Output { unimplemented!(); } } ``` present the following output: ```nocode error[E0404]: `Add` is not a trait --> file3.rs:5:21 \| 5 \| impl<T: Clone, Add> Add for Okok<T> { \| --- ^^^ expected trait, found type parameter \| \| \| type parameter defined here ``` 2016-10-27 03:51:49 +00:00			`unimplemented!();`
			`}`
			`}`
Add empty main() to tests where it is missing. 2018-03-12 20:21:43 +00:00
			`fn main() {}`