Suggest using type args directly instead of equality constraint #122591
+707
−29
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,17 +1,49 @@ | ||
| error[E0229]: associated type bindings are not allowed here | ||
| --> $DIR/issue-102335-ty.rs:2:17 | ||
| | | ||
| LL | type A: S<C<i32 = u32> = ()>; // Just one erroneous equality constraint | ||
| | ^^^^^^^^^ associated type not allowed here | ||
| | | ||
| help: consider removing this type binding | ||
| | | ||
| LL | type A: S<C<i32 = u32> = ()>; // Just one erroneous equality constraint | ||
| | ~~~~~~~~~~~ | ||
|
|
||
| error[E0229]: associated type bindings are not allowed here | ||
| --> $DIR/issue-102335-ty.rs:2:17 | ||
| | | ||
| LL | type A: S<C<i32 = u32> = ()>; // Just one erroneous equality constraint | ||
| | ^^^^^^^^^ associated type not allowed here | ||
| | | ||
| = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` | ||
| help: consider removing this type binding | ||
| | | ||
| LL | type A: S<C<i32 = u32> = ()>; // Just one erroneous equality constraint | ||
| | ~~~~~~~~~~~ | ||
|
|
||
| error[E0229]: associated type bindings are not allowed here | ||
| --> $DIR/issue-102335-ty.rs:8:17 | ||
| | | ||
| LL | type A: S<C<i32 = u32, X = i32> = ()>; // More than one erroneous equality constraints | ||
| | ^^^^^^^^^ associated type not allowed here | ||
| | | ||
| help: consider removing this type binding | ||
| | | ||
| LL | type A: S<C<i32 = u32, X = i32> = ()>; // More than one erroneous equality constraints | ||
| | ~~~~~~~~~~ | ||
|
|
||
| error[E0229]: associated type bindings are not allowed here | ||
| --> $DIR/issue-102335-ty.rs:8:17 | ||
| | | ||
| LL | type A: S<C<i32 = u32, X = i32> = ()>; // More than one erroneous equality constraints | ||
| | ^^^^^^^^^ associated type not allowed here | ||
| | | ||
| = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` | ||
| help: consider removing this type binding | ||
| | | ||
| LL | type A: S<C<i32 = u32, X = i32> = ()>; // More than one erroneous equality constraints | ||
| | ~~~~~~~~~~ | ||
|
|
||
| error: aborting due to 4 previous errors | ||
|
|
||
| For more information about this error, try `rustc --explain E0229`. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,19 +1,125 @@ | ||
| // Test equality constraints on associated types. Check we get an error when an | ||
| // equality constraint is used in an invalid context | ||
|
|
||
| struct Bar; | ||
| struct Qux; | ||
|
|
||
| // Tests for a a non generic trait | ||
| pub trait Tr1 { | ||
| type A; | ||
| fn boo(&self) -> <Self as Tr1>::A; | ||
| } | ||
|
|
||
| impl Tr1 for isize { | ||
| type A = usize; | ||
| fn boo(&self) -> usize { 42 } | ||
| } | ||
|
|
||
| // Test for when the assoc type is | ||
| // specified as an equality constraint | ||
| impl Tr1<A = usize> for usize { | ||
| //~^ ERROR associated type bindings are not allowed here | ||
| //~| ERROR not all trait items implemented, missing: `A` | ||
| fn boo(&self) -> usize { 42 } | ||
| } | ||
|
|
||
| // Test for a wronngly used equality constraint in a func arg | ||
| fn baz<I: Tr1>(_x: &<I as Tr1<A=Bar>>::A) {} | ||
| //~^ ERROR associated type bindings are not allowed here | ||
|
|
||
|
|
||
|
|
||
| // Tests for a generic trait | ||
| trait Tr2<T1, T2, T3> { | ||
| } | ||
|
|
||
| // Test for when wrongly specifed equality constraint's ident | ||
| // matches some generic param's ident | ||
| // (Note: E0229 is emitted only for the first erroneous equality | ||
| // constraint (T2) not for any subequent ones (e.g. T3)) | ||
| impl Tr2<i32, T2 = Qux, T3 = usize> for Bar { | ||
| //~^ ERROR associated type bindings are not allowed here | ||
| //~| ERROR trait takes 3 generic arguments but 1 generic argument was supplied | ||
| } | ||
|
|
||
| // Test for when equality constraint's ident matches a | ||
| // generic param's ident but has different case | ||
| impl Tr2<i32, t2 = Qux, T3 = usize> for Qux { | ||
| //~^ ERROR associated type bindings are not allowed here | ||
| //~| ERROR trait takes 3 generic arguments but 1 generic argument was supplied | ||
| } | ||
|
|
||
| // Test for when equality constraint's ident | ||
| // matches none of the generic param idents | ||
| impl Tr2<i32, X = Qux, Y = usize> for Bar { | ||
| //~^ ERROR associated type bindings are not allowed here | ||
| //~| ERROR trait takes 3 generic arguments but 1 generic argument was supplied | ||
| } | ||
|
|
||
| // Test for when the term in equality constraint is itself generic | ||
| struct GenericTerm<T> { _t: T } | ||
| impl Tr2<i32, Qux, T3 = GenericTerm<i32>> for Bar { | ||
| //~^ ERROR associated type bindings are not allowed here | ||
| //~| ERROR trait takes 3 generic arguments but 2 generic arguments were supplied | ||
| } | ||
|
|
||
|
|
||
|
|
||
| // Tests for a trait with a const param | ||
| trait Tr3<const N: i32, T2, T3> { | ||
| } | ||
|
|
||
| // Test for when equality constraint's ident | ||
| // matches the const param's ident | ||
| // (Deliberately spread over multiple lines to test that | ||
| // our suggestion spans are kosher in the face of such formatting) | ||
| impl Tr3<N | ||
| //~^ ERROR associated type bindings are not allowed here | ||
| //~| ERROR associated const equality is incomplete | ||
| //~| ERROR trait takes 3 generic arguments but 0 generic arguments were supplied | ||
| = 42, T2 = Qux, T3 = usize> for Bar { | ||
| } | ||
|
|
||
| // Test for when equality constraint's ident | ||
| // matches the const param's ident but has a different case | ||
| impl Tr3<n = 42, T2 = Qux, T3 = usize> for Qux { | ||
| //~^ ERROR associated type bindings are not allowed here | ||
| //~| ERROR associated const equality is incomplete | ||
| //~| ERROR trait takes 3 generic arguments but 0 generic arguments were supplied | ||
| } | ||
|
|
||
| // Test for when equality constraint's ident | ||
| // matches the const param ident but the constraint is a type arg | ||
| impl Tr3<N = u32, T2 = Qux, T3 = usize> for Bar { | ||
| //~^ ERROR associated type bindings are not allowed here | ||
| //~| ERROR trait takes 3 generic arguments but 0 generic arguments were supplied | ||
| } | ||
|
|
||
| // Test for when equality constraint's ident | ||
| // matches a type param ident but the constraint is a const arg | ||
| impl Tr3<42, T2 = 42, T3 = usize> for Bar { | ||
| //~^ ERROR associated type bindings are not allowed here | ||
| //~| ERROR associated const equality is incomplete | ||
| //~| ERROR trait takes 3 generic arguments but 1 generic argument was supplied | ||
| } | ||
|
|
||
| // Test for when equality constraint's ident | ||
| // matches none of the param idents | ||
| impl Tr3<X = 42, Y = Qux, Z = usize> for Bar { | ||
| //~^ ERROR associated type bindings are not allowed here | ||
| //~| ERROR associated const equality is incomplete | ||
| //~| ERROR trait takes 3 generic arguments but 0 generic arguments were supplied | ||
| } | ||
|
|
||
|
|
||
|
|
||
| // Test for the case when lifetimes are present | ||
| struct St<'a, T> { v: &'a T } | ||
|
|
||
| impl<'a, T> St<'a , T = Qux> { | ||
| //~^ ERROR associated type bindings are not allowed here | ||
| //~| ERROR struct takes 1 generic argument but 0 generic arguments were supplied | ||
| } | ||
|
|
||
|
|
||
| pub fn main() {} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,9 +1,365 @@ | ||
| error[E0658]: associated const equality is incomplete | ||
| --> $DIR/associated-types-eq-2.rs:76:10 | ||
| | | ||
| LL | impl Tr3<N | ||
| | __________^ | ||
| LL | | | ||
| LL | | | ||
| LL | | | ||
| LL | | = 42, T2 = Qux, T3 = usize> for Bar { | ||
| | |____^ | ||
| | | ||
| = note: see issue #92827 <https://github.com/rust-lang/rust/issues/92827> for more information | ||
| = help: add `#![feature(associated_const_equality)]` to the crate attributes to enable | ||
| = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date | ||
|
|
||
| error[E0658]: associated const equality is incomplete | ||
| --> $DIR/associated-types-eq-2.rs:85:10 | ||
| | | ||
| LL | impl Tr3<n = 42, T2 = Qux, T3 = usize> for Qux { | ||
| | ^^^^^^ | ||
| | | ||
| = note: see issue #92827 <https://github.com/rust-lang/rust/issues/92827> for more information | ||
| = help: add `#![feature(associated_const_equality)]` to the crate attributes to enable | ||
| = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date | ||
|
|
||
| error[E0658]: associated const equality is incomplete | ||
| --> $DIR/associated-types-eq-2.rs:100:14 | ||
| | | ||
| LL | impl Tr3<42, T2 = 42, T3 = usize> for Bar { | ||
| | ^^^^^^^ | ||
| | | ||
| = note: see issue #92827 <https://github.com/rust-lang/rust/issues/92827> for more information | ||
| = help: add `#![feature(associated_const_equality)]` to the crate attributes to enable | ||
| = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date | ||
|
|
||
| error[E0658]: associated const equality is incomplete | ||
| --> $DIR/associated-types-eq-2.rs:108:10 | ||
| | | ||
| LL | impl Tr3<X = 42, Y = Qux, Z = usize> for Bar { | ||
| | ^^^^^^ | ||
| | | ||
| = note: see issue #92827 <https://github.com/rust-lang/rust/issues/92827> for more information | ||
| = help: add `#![feature(associated_const_equality)]` to the crate attributes to enable | ||
| = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date | ||
|
|
||
| error[E0229]: associated type bindings are not allowed here | ||
| --> $DIR/associated-types-eq-2.rs:20:10 | ||
| | | ||
| LL | impl Tr1<A = usize> for usize { | ||
| | ^^^^^^^^^ associated type not allowed here | ||
| | | ||
| help: consider removing this type binding | ||
| | | ||
| LL | impl Tr1<A = usize> for usize { | ||
| | ~~~~~~~~~~~ | ||
|
|
||
| error[E0046]: not all trait items implemented, missing: `A` | ||
| --> $DIR/associated-types-eq-2.rs:20:1 | ||
| | | ||
| LL | type A; | ||
| | ------ `A` from trait | ||
| ... | ||
| LL | impl Tr1<A = usize> for usize { | ||
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `A` in implementation | ||
|
|
||
| error[E0229]: associated type bindings are not allowed here | ||
| --> $DIR/associated-types-eq-2.rs:27:31 | ||
| | | ||
| LL | fn baz<I: Tr1>(_x: &<I as Tr1<A=Bar>>::A) {} | ||
| | ^^^^^ associated type not allowed here | ||
| | | ||
| help: consider removing this type binding | ||
| | | ||
| LL | fn baz<I: Tr1>(_x: &<I as Tr1<A=Bar>>::A) {} | ||
| | ~~~~~~~ | ||
|
|
||
| error[E0107]: trait takes 3 generic arguments but 1 generic argument was supplied | ||
| --> $DIR/associated-types-eq-2.rs:40:6 | ||
| | | ||
| LL | impl Tr2<i32, T2 = Qux, T3 = usize> for Bar { | ||
| | ^^^ --- supplied 1 generic argument | ||
| | | | ||
| | expected 3 generic arguments | ||
| | | ||
| note: trait defined here, with 3 generic parameters: `T1`, `T2`, `T3` | ||
| --> $DIR/associated-types-eq-2.rs:33:7 | ||
| | | ||
| LL | trait Tr2<T1, T2, T3> { | ||
| | ^^^ -- -- -- | ||
| help: add missing generic arguments | ||
| | | ||
| LL | impl Tr2<i32, T2, T3, T2 = Qux, T3 = usize> for Bar { | ||
| | ++++++++ | ||
|
|
||
| error[E0229]: associated type bindings are not allowed here | ||
| --> $DIR/associated-types-eq-2.rs:40:15 | ||
| | | ||
| LL | impl Tr2<i32, T2 = Qux, T3 = usize> for Bar { | ||
| | ^^^^^^^^ associated type not allowed here | ||
| | | ||
| help: to use `Qux` as a generic argument specify it directly | ||
| | | ||
| LL | impl Tr2<i32, Qux, T3 = usize> for Bar { | ||
| | ~~~ | ||
|
|
||
| error[E0107]: trait takes 3 generic arguments but 1 generic argument was supplied | ||
| --> $DIR/associated-types-eq-2.rs:47:6 | ||
| | | ||
| LL | impl Tr2<i32, t2 = Qux, T3 = usize> for Qux { | ||
| | ^^^ --- supplied 1 generic argument | ||
| | | | ||
| | expected 3 generic arguments | ||
| | | ||
| note: trait defined here, with 3 generic parameters: `T1`, `T2`, `T3` | ||
| --> $DIR/associated-types-eq-2.rs:33:7 | ||
| | | ||
| LL | trait Tr2<T1, T2, T3> { | ||
| | ^^^ -- -- -- | ||
| help: add missing generic arguments | ||
| | | ||
| LL | impl Tr2<i32, T2, T3, t2 = Qux, T3 = usize> for Qux { | ||
| | ++++++++ | ||
|
|
||
| error[E0229]: associated type bindings are not allowed here | ||
| --> $DIR/associated-types-eq-2.rs:47:15 | ||
| | | ||
| LL | impl Tr2<i32, t2 = Qux, T3 = usize> for Qux { | ||
| | ^^^^^^^^ associated type not allowed here | ||
| | | ||
| help: consider removing this type binding | ||
| | | ||
| LL | impl Tr2<i32, t2 = Qux, T3 = usize> for Qux { | ||
| | ~~~~~~~~~~ | ||
|
|
||
| error[E0107]: trait takes 3 generic arguments but 1 generic argument was supplied | ||
| --> $DIR/associated-types-eq-2.rs:54:6 | ||
| | | ||
| LL | impl Tr2<i32, X = Qux, Y = usize> for Bar { | ||
| | ^^^ --- supplied 1 generic argument | ||
| | | | ||
| | expected 3 generic arguments | ||
| | | ||
| note: trait defined here, with 3 generic parameters: `T1`, `T2`, `T3` | ||
| --> $DIR/associated-types-eq-2.rs:33:7 | ||
| | | ||
| LL | trait Tr2<T1, T2, T3> { | ||
| | ^^^ -- -- -- | ||
| help: add missing generic arguments | ||
| | | ||
| LL | impl Tr2<i32, T2, T3, X = Qux, Y = usize> for Bar { | ||
| | ++++++++ | ||
|
|
||
| error[E0229]: associated type bindings are not allowed here | ||
| --> $DIR/associated-types-eq-2.rs:54:15 | ||
| | | ||
| LL | impl Tr2<i32, X = Qux, Y = usize> for Bar { | ||
| | ^^^^^^^ associated type not allowed here | ||
| | | ||
| help: consider removing this type binding | ||
| | | ||
| LL | impl Tr2<i32, X = Qux, Y = usize> for Bar { | ||
| | ~~~~~~~~~ | ||
|
|
||
| error[E0107]: trait takes 3 generic arguments but 2 generic arguments were supplied | ||
| --> $DIR/associated-types-eq-2.rs:61:6 | ||
| | | ||
| LL | impl Tr2<i32, Qux, T3 = GenericTerm<i32>> for Bar { | ||
| | ^^^ --- --- supplied 2 generic arguments | ||
| | | | ||
| | expected 3 generic arguments | ||
| | | ||
| note: trait defined here, with 3 generic parameters: `T1`, `T2`, `T3` | ||
| --> $DIR/associated-types-eq-2.rs:33:7 | ||
| | | ||
| LL | trait Tr2<T1, T2, T3> { | ||
| | ^^^ -- -- -- | ||
| help: add missing generic argument | ||
| | | ||
| LL | impl Tr2<i32, Qux, T3, T3 = GenericTerm<i32>> for Bar { | ||
| | ++++ | ||
|
|
||
| error[E0229]: associated type bindings are not allowed here | ||
| --> $DIR/associated-types-eq-2.rs:61:20 | ||
| | | ||
| LL | impl Tr2<i32, Qux, T3 = GenericTerm<i32>> for Bar { | ||
| | ^^^^^^^^^^^^^^^^^^^^^ associated type not allowed here | ||
| | | ||
| help: to use `GenericTerm<i32>` as a generic argument specify it directly | ||
| | | ||
| LL | impl Tr2<i32, Qux, GenericTerm<i32>> for Bar { | ||
| | ~~~~~~~~~~~~~~~~ | ||
|
|
||
| error[E0107]: trait takes 3 generic arguments but 0 generic arguments were supplied | ||
| --> $DIR/associated-types-eq-2.rs:76:6 | ||
| | | ||
| LL | impl Tr3<N | ||
| | ^^^ expected 3 generic arguments | ||
| | | ||
| note: trait defined here, with 3 generic parameters: `N`, `T2`, `T3` | ||
| --> $DIR/associated-types-eq-2.rs:69:7 | ||
| | | ||
| LL | trait Tr3<const N: i32, T2, T3> { | ||
| | ^^^ ------------ -- -- | ||
| help: add missing generic arguments | ||
| | | ||
| LL | impl Tr3<N, T2, T3, N | ||
| | ++++++++++ | ||
|
|
||
| error[E0229]: associated type bindings are not allowed here | ||
| --> $DIR/associated-types-eq-2.rs:76:10 | ||
| | | ||
| LL | impl Tr3<N | ||
| | __________^ | ||
| LL | | | ||
| LL | | | ||
| LL | | | ||
| LL | | = 42, T2 = Qux, T3 = usize> for Bar { | ||
| | |____^ associated type not allowed here | ||
| | | ||
| help: to use `42` as a generic argument specify it directly | ||
| | | ||
| LL | impl Tr3<42, T2 = Qux, T3 = usize> for Bar { | ||
| | ~~ | ||
|
|
||
| error[E0107]: trait takes 3 generic arguments but 0 generic arguments were supplied | ||
| --> $DIR/associated-types-eq-2.rs:85:6 | ||
| | | ||
| LL | impl Tr3<n = 42, T2 = Qux, T3 = usize> for Qux { | ||
| | ^^^ expected 3 generic arguments | ||
| | | ||
| note: trait defined here, with 3 generic parameters: `N`, `T2`, `T3` | ||
| --> $DIR/associated-types-eq-2.rs:69:7 | ||
| | | ||
| LL | trait Tr3<const N: i32, T2, T3> { | ||
| | ^^^ ------------ -- -- | ||
| help: add missing generic arguments | ||
| | | ||
| LL | impl Tr3<N, T2, T3, n = 42, T2 = Qux, T3 = usize> for Qux { | ||
| | ++++++++++ | ||
|
|
||
| error[E0229]: associated type bindings are not allowed here | ||
| --> $DIR/associated-types-eq-2.rs:85:10 | ||
| | | ||
| LL | impl Tr3<n = 42, T2 = Qux, T3 = usize> for Qux { | ||
| | ^^^^^^ associated type not allowed here | ||
| | | ||
| help: consider removing this type binding | ||
| | | ||
| LL | impl Tr3<n = 42, T2 = Qux, T3 = usize> for Qux { | ||
| | ~~~~~~~ | ||
|
|
||
| error[E0107]: trait takes 3 generic arguments but 0 generic arguments were supplied | ||
| --> $DIR/associated-types-eq-2.rs:93:6 | ||
| | | ||
| LL | impl Tr3<N = u32, T2 = Qux, T3 = usize> for Bar { | ||
| | ^^^ expected 3 generic arguments | ||
| | | ||
| note: trait defined here, with 3 generic parameters: `N`, `T2`, `T3` | ||
| --> $DIR/associated-types-eq-2.rs:69:7 | ||
| | | ||
| LL | trait Tr3<const N: i32, T2, T3> { | ||
| | ^^^ ------------ -- -- | ||
| help: add missing generic arguments | ||
| | | ||
| LL | impl Tr3<N, T2, T3, N = u32, T2 = Qux, T3 = usize> for Bar { | ||
| | ++++++++++ | ||
|
|
||
| error[E0229]: associated type bindings are not allowed here | ||
| --> $DIR/associated-types-eq-2.rs:93:10 | ||
| | | ||
| LL | impl Tr3<N = u32, T2 = Qux, T3 = usize> for Bar { | ||
| | ^^^^^^^ associated type not allowed here | ||
| | | ||
| help: consider removing this type binding | ||
| | | ||
| LL | impl Tr3<N = u32, T2 = Qux, T3 = usize> for Bar { | ||
| | ~~~~~~~~ | ||
|
|
||
| error[E0107]: trait takes 3 generic arguments but 1 generic argument was supplied | ||
| --> $DIR/associated-types-eq-2.rs:100:6 | ||
| | | ||
| LL | impl Tr3<42, T2 = 42, T3 = usize> for Bar { | ||
| | ^^^ -- supplied 1 generic argument | ||
| | | | ||
| | expected 3 generic arguments | ||
| | | ||
| note: trait defined here, with 3 generic parameters: `N`, `T2`, `T3` | ||
| --> $DIR/associated-types-eq-2.rs:69:7 | ||
| | | ||
| LL | trait Tr3<const N: i32, T2, T3> { | ||
| | ^^^ ------------ -- -- | ||
| help: add missing generic arguments | ||
| | | ||
| LL | impl Tr3<42, T2, T3, T2 = 42, T3 = usize> for Bar { | ||
| | ++++++++ | ||
|
|
||
| error[E0229]: associated type bindings are not allowed here | ||
| --> $DIR/associated-types-eq-2.rs:100:14 | ||
| | | ||
| LL | impl Tr3<42, T2 = 42, T3 = usize> for Bar { | ||
| | ^^^^^^^ associated type not allowed here | ||
| | | ||
| help: consider removing this type binding | ||
| | | ||
| LL | impl Tr3<42, T2 = 42, T3 = usize> for Bar { | ||
| | ~~~~~~~~~ | ||
|
|
||
| error[E0107]: trait takes 3 generic arguments but 0 generic arguments were supplied | ||
| --> $DIR/associated-types-eq-2.rs:108:6 | ||
| | | ||
| LL | impl Tr3<X = 42, Y = Qux, Z = usize> for Bar { | ||
| | ^^^ expected 3 generic arguments | ||
| | | ||
| note: trait defined here, with 3 generic parameters: `N`, `T2`, `T3` | ||
| --> $DIR/associated-types-eq-2.rs:69:7 | ||
| | | ||
| LL | trait Tr3<const N: i32, T2, T3> { | ||
| | ^^^ ------------ -- -- | ||
| help: add missing generic arguments | ||
| | | ||
| LL | impl Tr3<N, T2, T3, X = 42, Y = Qux, Z = usize> for Bar { | ||
| | ++++++++++ | ||
|
|
||
| error[E0229]: associated type bindings are not allowed here | ||
| --> $DIR/associated-types-eq-2.rs:108:10 | ||
| | | ||
| LL | impl Tr3<X = 42, Y = Qux, Z = usize> for Bar { | ||
| | ^^^^^^ associated type not allowed here | ||
| | | ||
| help: consider removing this type binding | ||
| | | ||
| LL | impl Tr3<X = 42, Y = Qux, Z = usize> for Bar { | ||
| | ~~~~~~~ | ||
|
|
||
| error[E0107]: struct takes 1 generic argument but 0 generic arguments were supplied | ||
| --> $DIR/associated-types-eq-2.rs:119:13 | ||
| | | ||
| LL | impl<'a, T> St<'a , T = Qux> { | ||
| | ^^ expected 1 generic argument | ||
| | | ||
| note: struct defined here, with 1 generic parameter: `T` | ||
| --> $DIR/associated-types-eq-2.rs:117:8 | ||
| | | ||
| LL | struct St<'a, T> { v: &'a T } | ||
| | ^^ - | ||
| help: add missing generic argument | ||
| | | ||
| LL | impl<'a, T> St<'a, T , T = Qux> { | ||
| | +++ | ||
|
|
||
| error[E0229]: associated type bindings are not allowed here | ||
| --> $DIR/associated-types-eq-2.rs:119:21 | ||
| | | ||
| LL | impl<'a, T> St<'a , T = Qux> { | ||
| | ^^^^^^^ associated type not allowed here | ||
| | | ||
| help: to use `Qux` as a generic argument specify it directly | ||
| | | ||
| LL | impl<'a, T> St<'a , Qux> { | ||
| | ~~~ | ||
|
|
||
| error: aborting due to 27 previous errors | ||
|
|
||
| Some errors have detailed explanations: E0046, E0107, E0229, E0658. | ||
| For more information about an error, try `rustc --explain E0046`. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Uh oh!
There was an error while loading. Please reload this page.