mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix typo

Browse Source
This commit is contained in:
Esteban Küber 2022-06-01 13:04:35 -07:00
parent 3d60691996
commit 196a30ebff
3 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/rustc_typeck/src/astconv/mod.rs
View File

@ -2417,7 +2417,7 @@ pub fn res_to_ty(
let mut span: MultiSpan = vec![t_sp].into(); let mut span: MultiSpan = vec![t_sp].into();
span.push_span_label( span.push_span_label(
i_sp, i_sp,
&format!("`Self` is or type `{type_name}` in this `impl`"), &format!("`Self` is on type `{type_name}` in this `impl`"),
); );
let mut postfix = ""; let mut postfix = "";
if generics == 0 { if generics == 0 {

4
src/test/ui/structs/struct-path-self.stderr
View File

@ -41,7 +41,7 @@ LL | struct S;
| ^ `Self` corresponds to this type, which doesn't have type parameters | ^ `Self` corresponds to this type, which doesn't have type parameters
... ...
LL | impl Tr for S { LL | impl Tr for S {
| ------------- `Self` is or type `S` in this `impl` | ------------- `Self` is on type `S` in this `impl`
help: the `Self` type doesn't accept type parameters help: the `Self` type doesn't accept type parameters
| |
LL - let z = Self::<u8> {}; LL - let z = Self::<u8> {};
@ -61,7 +61,7 @@ LL | struct S;
| ^ `Self` corresponds to this type, which doesn't have type parameters | ^ `Self` corresponds to this type, which doesn't have type parameters
... ...
LL | impl S { LL | impl S {
| ------ `Self` is or type `S` in this `impl` | ------ `Self` is on type `S` in this `impl`
help: the `Self` type doesn't accept type parameters help: the `Self` type doesn't accept type parameters
| |
LL - let z = Self::<u8> {}; LL - let z = Self::<u8> {};

12
src/test/ui/type-alias-enum-variants/enum-variant-generic-args.stderr
View File

@ -36,7 +36,7 @@ LL | enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
| ^^^^ `Self` corresponds to this type | ^^^^ `Self` corresponds to this type
... ...
LL | impl<T> Enum<T> { LL | impl<T> Enum<T> {
| --------------- `Self` is or type `Enum` in this `impl` | --------------- `Self` is on type `Enum` in this `impl`
help: the `Self` type doesn't accept type parameters, use the concrete type's name `Enum` instead if you want to specify its type parameters help: the `Self` type doesn't accept type parameters, use the concrete type's name `Enum` instead if you want to specify its type parameters
| |
LL | Enum::<()>::TSVariant(()); LL | Enum::<()>::TSVariant(());
@ -74,7 +74,7 @@ LL | enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
| ^^^^ `Self` corresponds to this type | ^^^^ `Self` corresponds to this type
... ...
LL | impl<T> Enum<T> { LL | impl<T> Enum<T> {
| --------------- `Self` is or type `Enum` in this `impl` | --------------- `Self` is on type `Enum` in this `impl`
help: the `Self` type doesn't accept type parameters, use the concrete type's name `Enum` instead if you want to specify its type parameters help: the `Self` type doesn't accept type parameters, use the concrete type's name `Enum` instead if you want to specify its type parameters
| |
LL | Enum::<()>::TSVariant::<()>(()); LL | Enum::<()>::TSVariant::<()>(());
@ -136,7 +136,7 @@ LL | enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
| ^^^^ `Self` corresponds to this type | ^^^^ `Self` corresponds to this type
... ...
LL | impl<T> Enum<T> { LL | impl<T> Enum<T> {
| --------------- `Self` is or type `Enum` in this `impl` | --------------- `Self` is on type `Enum` in this `impl`
help: the `Self` type doesn't accept type parameters, use the concrete type's name `Enum` instead if you want to specify its type parameters help: the `Self` type doesn't accept type parameters, use the concrete type's name `Enum` instead if you want to specify its type parameters
| |
LL | Enum::<()>::SVariant { v: () }; LL | Enum::<()>::SVariant { v: () };
@ -167,7 +167,7 @@ LL | enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
| ^^^^ `Self` corresponds to this type | ^^^^ `Self` corresponds to this type
... ...
LL | impl<T> Enum<T> { LL | impl<T> Enum<T> {
| --------------- `Self` is or type `Enum` in this `impl` | --------------- `Self` is on type `Enum` in this `impl`
help: the `Self` type doesn't accept type parameters, use the concrete type's name `Enum` instead if you want to specify its type parameters help: the `Self` type doesn't accept type parameters, use the concrete type's name `Enum` instead if you want to specify its type parameters
| |
LL | Enum::<()>::SVariant::<()> { v: () }; LL | Enum::<()>::SVariant::<()> { v: () };
@ -217,7 +217,7 @@ LL | enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
| ^^^^ `Self` corresponds to this type | ^^^^ `Self` corresponds to this type
... ...
LL | impl<T> Enum<T> { LL | impl<T> Enum<T> {
| --------------- `Self` is or type `Enum` in this `impl` | --------------- `Self` is on type `Enum` in this `impl`
help: the `Self` type doesn't accept type parameters, use the concrete type's name `Enum` instead if you want to specify its type parameters help: the `Self` type doesn't accept type parameters, use the concrete type's name `Enum` instead if you want to specify its type parameters
| |
LL | Enum::<()>::UVariant; LL | Enum::<()>::UVariant;
@ -236,7 +236,7 @@ LL | enum Enum<T> { TSVariant(T), SVariant { v: T }, UVariant }
| ^^^^ `Self` corresponds to this type | ^^^^ `Self` corresponds to this type
... ...
LL | impl<T> Enum<T> { LL | impl<T> Enum<T> {
| --------------- `Self` is or type `Enum` in this `impl` | --------------- `Self` is on type `Enum` in this `impl`
help: the `Self` type doesn't accept type parameters, use the concrete type's name `Enum` instead if you want to specify its type parameters help: the `Self` type doesn't accept type parameters, use the concrete type's name `Enum` instead if you want to specify its type parameters
| |
LL | Enum::<()>::UVariant::<()>; LL | Enum::<()>::UVariant::<()>;