review comments: typo and rewording

estebank · estebank · commit 68aff3f9c11c · 2019-08-08T16:56:57.000-07:00
diff --git a/src/librustc_typeck/check/mod.rs b/src/librustc_typeck/check/mod.rs
@@ -3711,8 +3711,8 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
                         if let Some(fn_span) = fn_span {
                             err.span_label(
                                 fn_span,
-                                "this function implicitly returns `()` as its body has no tail \
-                                 or `return` expression",
+                                "implicitly returns `()` as its body has no tail or `return` \
+                                 expression",
                             );
                         }
                     }, false);
@@ -3880,10 +3880,10 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
                         sugg_call = fields.iter().map(|_| "_").collect::<Vec<_>>().join(", ");
                         match hir.as_local_hir_id(def_id).and_then(|hir_id| hir.def_kind(hir_id)) {
                             Some(hir::def::DefKind::Ctor(hir::def::CtorOf::Variant, _)) => {
-                                msg = "instatiate this tuple variant";
+                                msg = "instantiate this tuple variant";
                             }
                             Some(hir::def::DefKind::Ctor(hir::def::CtorOf::Struct, _)) => {
-                                msg = "instatiate this tuple struct";
+                                msg = "instantiate this tuple struct";
                             }
                             _ => {}
                         }
diff --git a/src/test/ui/block-result/consider-removing-last-semi.stderr b/src/test/ui/block-result/consider-removing-last-semi.stderr
@@ -4,7 +4,7 @@ error[E0308]: mismatched types
 LL | fn f() -> String {
    |    -      ^^^^^^ expected struct `std::string::String`, found ()
    |    |
-   |    this function implicitly returns `()` as its body has no tail or `return` expression
+   |    implicitly returns `()` as its body has no tail or `return` expression
 LL |     0u8;
 LL |     "bla".to_string();
    |                      - help: consider removing this semicolon
@@ -18,7 +18,7 @@ error[E0308]: mismatched types
 LL | fn g() -> String {
    |    -      ^^^^^^ expected struct `std::string::String`, found ()
    |    |
-   |    this function implicitly returns `()` as its body has no tail or `return` expression
+   |    implicitly returns `()` as its body has no tail or `return` expression
 LL |     "this won't work".to_string();
 LL |     "removeme".to_string();
    |                           - help: consider removing this semicolon
diff --git a/src/test/ui/block-result/issue-11714.stderr b/src/test/ui/block-result/issue-11714.stderr
@@ -4,7 +4,7 @@ error[E0308]: mismatched types
 LL | fn blah() -> i32 {
    |    ----      ^^^ expected i32, found ()
    |    |
-   |    this function implicitly returns `()` as its body has no tail or `return` expression
+   |    implicitly returns `()` as its body has no tail or `return` expression
 ...
 LL |     ;
    |     - help: consider removing this semicolon
diff --git a/src/test/ui/block-result/issue-13428.stderr b/src/test/ui/block-result/issue-13428.stderr
@@ -4,7 +4,7 @@ error[E0308]: mismatched types
 LL | fn foo() -> String {
    |    ---      ^^^^^^ expected struct `std::string::String`, found ()
    |    |
-   |    this function implicitly returns `()` as its body has no tail or `return` expression
+   |    implicitly returns `()` as its body has no tail or `return` expression
 ...
 LL |     ;
    |     - help: consider removing this semicolon
@@ -18,7 +18,7 @@ error[E0308]: mismatched types
 LL | fn bar() -> String {
    |    ---      ^^^^^^ expected struct `std::string::String`, found ()
    |    |
-   |    this function implicitly returns `()` as its body has no tail or `return` expression
+   |    implicitly returns `()` as its body has no tail or `return` expression
 LL |     "foobar".to_string()
 LL |     ;
    |     - help: consider removing this semicolon
diff --git a/src/test/ui/coercion/coercion-missing-tail-expected-type.stderr b/src/test/ui/coercion/coercion-missing-tail-expected-type.stderr
@@ -4,7 +4,7 @@ error[E0308]: mismatched types
 LL | fn plus_one(x: i32) -> i32 {
    |    --------            ^^^ expected i32, found ()
    |    |
-   |    this function implicitly returns `()` as its body has no tail or `return` expression
+   |    implicitly returns `()` as its body has no tail or `return` expression
 LL |     x + 1;
    |          - help: consider removing this semicolon
    |
@@ -17,7 +17,7 @@ error[E0308]: mismatched types
 LL | fn foo() -> Result<u8, u64> {
    |    ---      ^^^^^^^^^^^^^^^ expected enum `std::result::Result`, found ()
    |    |
-   |    this function implicitly returns `()` as its body has no tail or `return` expression
+   |    implicitly returns `()` as its body has no tail or `return` expression
 LL |     Ok(1);
    |          - help: consider removing this semicolon
    |
diff --git a/src/test/ui/issues/issue-32323.stderr b/src/test/ui/issues/issue-32323.stderr
@@ -4,7 +4,7 @@ error[E0308]: mismatched types
 LL | pub fn f<'a, T: Tr<'a>>() -> <T as Tr<'a>>::Out {}
    |        -                     ^^^^^^^^^^^^^^^^^^ expected associated type, found ()
    |        |
-   |        this function implicitly returns `()` as its body has no tail or `return` expression
+   |        implicitly returns `()` as its body has no tail or `return` expression
    |
    = note: expected type `<T as Tr<'a>>::Out`
               found type `()`
diff --git a/src/test/ui/issues/issue-35241.stderr b/src/test/ui/issues/issue-35241.stderr
@@ -8,7 +8,7 @@ LL | fn test() -> Foo { Foo }
    |              ---   ^^^
    |              |     |
    |              |     expected struct `Foo`, found fn item
-   |              |     help: use parentheses to instatiate this tuple struct: `Foo(_)`
+   |              |     help: use parentheses to instantiate this tuple struct: `Foo(_)`
    |              expected `Foo` because of return type
    |
    = note: expected type `Foo`
diff --git a/src/test/ui/issues/issue-43162.stderr b/src/test/ui/issues/issue-43162.stderr
@@ -16,7 +16,7 @@ error[E0308]: mismatched types
 LL | fn foo() -> bool {
    |    ---      ^^^^ expected bool, found ()
    |    |
-   |    this function implicitly returns `()` as its body has no tail or `return` expression
+   |    implicitly returns `()` as its body has no tail or `return` expression
 LL |
 LL |     break true;
    |               - help: consider removing this semicolon
diff --git a/src/test/ui/issues/issue-44023.stderr b/src/test/ui/issues/issue-44023.stderr
@@ -4,7 +4,7 @@ error[E0308]: mismatched types
 LL | fn საჭმელად_გემრიელი_სადილი ( ) -> isize {
    |    ------------------------        ^^^^^ expected isize, found ()
    |    |
-   |    this function implicitly returns `()` as its body has no tail or `return` expression
+   |    implicitly returns `()` as its body has no tail or `return` expression
    |
    = note: expected type `isize`
               found type `()`
diff --git a/src/test/ui/issues/issue-6458-4.stderr b/src/test/ui/issues/issue-6458-4.stderr
@@ -4,7 +4,7 @@ error[E0308]: mismatched types
 LL | fn foo(b: bool) -> Result<bool,String> {
    |    ---             ^^^^^^^^^^^^^^^^^^^ expected enum `std::result::Result`, found ()
    |    |
-   |    this function implicitly returns `()` as its body has no tail or `return` expression
+   |    implicitly returns `()` as its body has no tail or `return` expression
 LL |     Err("bar".to_string());
    |                           - help: consider removing this semicolon
    |
diff --git a/src/test/ui/liveness/liveness-forgot-ret.stderr b/src/test/ui/liveness/liveness-forgot-ret.stderr
@@ -4,7 +4,7 @@ error[E0308]: mismatched types
 LL | fn f(a: isize) -> isize { if god_exists(a) { return 5; }; }
    |    -              ^^^^^ expected isize, found ()
    |    |
-   |    this function implicitly returns `()` as its body has no tail or `return` expression
+   |    implicitly returns `()` as its body has no tail or `return` expression
    |
    = note: expected type `isize`
               found type `()`
diff --git a/src/test/ui/liveness/liveness-missing-ret2.stderr b/src/test/ui/liveness/liveness-missing-ret2.stderr
@@ -4,7 +4,7 @@ error[E0308]: mismatched types
 LL | fn f() -> isize {
    |    -      ^^^^^ expected isize, found ()
    |    |
-   |    this function implicitly returns `()` as its body has no tail or `return` expression
+   |    implicitly returns `()` as its body has no tail or `return` expression
    |
    = note: expected type `isize`
               found type `()`
diff --git a/src/test/ui/liveness/liveness-return-last-stmt-semi.stderr b/src/test/ui/liveness/liveness-return-last-stmt-semi.stderr
@@ -5,7 +5,7 @@ LL | macro_rules! test { () => { fn foo() -> i32 { 1; } } }
    |                                ---      ^^^    - help: consider removing this semicolon
    |                                |        |
    |                                |        expected i32, found ()
-   |                                this function implicitly returns `()` as its body has no tail or `return` expression
+   |                                implicitly returns `()` as its body has no tail or `return` expression
 ...
 LL |     test!();
    |     -------- in this macro invocation
@@ -19,7 +19,7 @@ error[E0308]: mismatched types
 LL | fn no_return() -> i32 {}
    |    ---------      ^^^ expected i32, found ()
    |    |
-   |    this function implicitly returns `()` as its body has no tail or `return` expression
+   |    implicitly returns `()` as its body has no tail or `return` expression
    |
    = note: expected type `i32`
               found type `()`
@@ -30,7 +30,7 @@ error[E0308]: mismatched types
 LL | fn bar(x: u32) -> u32 {
    |    ---            ^^^ expected u32, found ()
    |    |
-   |    this function implicitly returns `()` as its body has no tail or `return` expression
+   |    implicitly returns `()` as its body has no tail or `return` expression
 LL |     x * 2;
    |          - help: consider removing this semicolon
    |
@@ -43,7 +43,7 @@ error[E0308]: mismatched types
 LL | fn baz(x: u64) -> u32 {
    |    ---            ^^^ expected u32, found ()
    |    |
-   |    this function implicitly returns `()` as its body has no tail or `return` expression
+   |    implicitly returns `()` as its body has no tail or `return` expression
    |
    = note: expected type `u32`
               found type `()`
diff --git a/src/test/ui/missing/missing-return.stderr b/src/test/ui/missing/missing-return.stderr
@@ -4,7 +4,7 @@ error[E0308]: mismatched types
 LL | fn f() -> isize { }
    |    -      ^^^^^ expected isize, found ()
    |    |
-   |    this function implicitly returns `()` as its body has no tail or `return` expression
+   |    implicitly returns `()` as its body has no tail or `return` expression
    |
    = note: expected type `isize`
               found type `()`
diff --git a/src/test/ui/parser/issue-62881.stderr b/src/test/ui/parser/issue-62881.stderr
@@ -19,7 +19,7 @@ error[E0308]: mismatched types
 LL | fn f() -> isize { fn f() -> isize {} pub f<
    |                      -      ^^^^^ expected isize, found ()
    |                      |
-   |                      this function implicitly returns `()` as its body has no tail or `return` expression
+   |                      implicitly returns `()` as its body has no tail or `return` expression
    |
    = note: expected type `isize`
               found type `()`
diff --git a/src/test/ui/parser/issue-62895.stderr b/src/test/ui/parser/issue-62895.stderr
@@ -38,7 +38,7 @@ error[E0308]: mismatched types
 LL | fn v() -> isize {
    |    -      ^^^^^ expected isize, found ()
    |    |
-   |    this function implicitly returns `()` as its body has no tail or `return` expression
+   |    implicitly returns `()` as its body has no tail or `return` expression
    |
    = note: expected type `isize`
               found type `()`
diff --git a/src/test/ui/resolve/privacy-enum-ctor.stderr b/src/test/ui/resolve/privacy-enum-ctor.stderr
@@ -202,7 +202,7 @@ LL |         let _: Z = Z::Fn;
    |                    ^^^^^
    |                    |
    |                    expected enum `m::n::Z`, found fn item
-   |                    help: use parentheses to instatiate this tuple variant: `Z::Fn(_)`
+   |                    help: use parentheses to instantiate this tuple variant: `Z::Fn(_)`
    |
    = note: expected type `m::n::Z`
               found type `fn(u8) -> m::n::Z {m::n::Z::Fn}`
@@ -232,7 +232,7 @@ LL |     let _: E = m::E::Fn;
    |                ^^^^^^^^
    |                |
    |                expected enum `m::E`, found fn item
-   |                help: use parentheses to instatiate this tuple variant: `m::E::Fn(_)`
+   |                help: use parentheses to instantiate this tuple variant: `m::E::Fn(_)`
    |
    = note: expected type `m::E`
               found type `fn(u8) -> m::E {m::E::Fn}`
@@ -262,7 +262,7 @@ LL |     let _: E = E::Fn;
    |                ^^^^^
    |                |
    |                expected enum `m::E`, found fn item
-   |                help: use parentheses to instatiate this tuple variant: `E::Fn(_)`
+   |                help: use parentheses to instantiate this tuple variant: `E::Fn(_)`
    |
    = note: expected type `m::E`
               found type `fn(u8) -> m::E {m::E::Fn}`
diff --git a/src/test/ui/suggestions/fn-or-tuple-struct-without-args.stderr b/src/test/ui/suggestions/fn-or-tuple-struct-without-args.stderr
@@ -32,7 +32,7 @@ LL |     let _: S = S;
    |                ^
    |                |
    |                expected struct `S`, found fn item
-   |                help: use parentheses to instatiate this tuple struct: `S(_, _)`
+   |                help: use parentheses to instantiate this tuple struct: `S(_, _)`
    |
    = note: expected type `S`
               found type `fn(usize, usize) -> S {S}`
@@ -62,7 +62,7 @@ LL |     let _: V = V;
    |                ^
    |                |
    |                expected struct `V`, found fn item
-   |                help: use parentheses to instatiate this tuple struct: `V()`
+   |                help: use parentheses to instantiate this tuple struct: `V()`
    |
    = note: expected type `V`
               found type `fn() -> V {V}`
@@ -107,7 +107,7 @@ LL |     let _: E = E::A;
    |                ^^^^
    |                |
    |                expected enum `E`, found fn item
-   |                help: use parentheses to instatiate this tuple variant: `E::A(_)`
+   |                help: use parentheses to instantiate this tuple variant: `E::A(_)`
    |
    = note: expected type `E`
               found type `fn(usize) -> E {E::A}`

Original file line number	Diff line number	Diff line change
`@@ -3711,8 +3711,8 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {`
`3711`	`3711`	`if let Some(fn_span) = fn_span {`
`3712`	`3712`	`err.span_label(`
`3713`	`3713`	`fn_span,`
`3714`		- "this function implicitly returns `()` as its body has no tail \
`3715`		- or `return` expression",
	`3714`	+ "implicitly returns `()` as its body has no tail or `return` \
	`3715`	`+ expression",`
`3716`	`3716`	`);`
`3717`	`3717`	`}`
`3718`	`3718`	`}, false);`
`@@ -3880,10 +3880,10 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {`
`3880`	`3880`	`sugg_call = fields.iter().map(\|_\| "_").collect::<Vec<_>>().join(", ");`
`3881`	`3881`	`match hir.as_local_hir_id(def_id).and_then(\|hir_id\| hir.def_kind(hir_id)) {`
`3882`	`3882`	`Some(hir::def::DefKind::Ctor(hir::def::CtorOf::Variant, _)) => {`
`3883`		`- msg = "instatiate this tuple variant";`
	`3883`	`+ msg = "instantiate this tuple variant";`
`3884`	`3884`	`}`
`3885`	`3885`	`Some(hir::def::DefKind::Ctor(hir::def::CtorOf::Struct, _)) => {`
`3886`		`- msg = "instatiate this tuple struct";`
	`3886`	`+ msg = "instantiate this tuple struct";`
`3887`	`3887`	`}`
`3888`	`3888`	`_ => {}`
`3889`	`3889`	`}`
Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@ error[E0308]: mismatched types`
`4`	`4`	`LL \| pub fn f<'a, T: Tr<'a>>() -> <T as Tr<'a>>::Out {}`
`5`	`5`	`\| - ^^^^^^^^^^^^^^^^^^ expected associated type, found ()`
`6`	`6`	`\| \|`
`7`		- \| this function implicitly returns `()` as its body has no tail or `return` expression
	`7`	+ \| implicitly returns `()` as its body has no tail or `return` expression
`8`	`8`	`\|`
`9`	`9`	= note: expected type `<T as Tr<'a>>::Out`
`10`	`10`	found type `()`
Original file line number	Diff line number	Diff line change
`@@ -8,7 +8,7 @@ LL \| fn test() -> Foo { Foo }`
`8`	`8`	`\| --- ^^^`
`9`	`9`	`\| \| \|`
`10`	`10`	\| \| expected struct `Foo`, found fn item
`11`		- \| \| help: use parentheses to instatiate this tuple struct: `Foo(_)`
	`11`	+ \| \| help: use parentheses to instantiate this tuple struct: `Foo(_)`
`12`	`12`	\| expected `Foo` because of return type
`13`	`13`	`\|`
`14`	`14`	= note: expected type `Foo`
Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@ error[E0308]: mismatched types`
`4`	`4`	`LL \| fn საჭმელად_გემრიელი_სადილი ( ) -> isize {`
`5`	`5`	`\| ------------------------ ^^^^^ expected isize, found ()`
`6`	`6`	`\| \|`
`7`		- \| this function implicitly returns `()` as its body has no tail or `return` expression
	`7`	+ \| implicitly returns `()` as its body has no tail or `return` expression
`8`	`8`	`\|`
`9`	`9`	= note: expected type `isize`
`10`	`10`	found type `()`
Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@ error[E0308]: mismatched types`
`4`	`4`	`LL \| fn foo(b: bool) -> Result<bool,String> {`
`5`	`5`	\| --- ^^^^^^^^^^^^^^^^^^^ expected enum `std::result::Result`, found ()
`6`	`6`	`\| \|`
`7`		- \| this function implicitly returns `()` as its body has no tail or `return` expression
	`7`	+ \| implicitly returns `()` as its body has no tail or `return` expression
`8`	`8`	`LL \| Err("bar".to_string());`
`9`	`9`	`\| - help: consider removing this semicolon`
`10`	`10`	`\|`
Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@ error[E0308]: mismatched types`
`4`	`4`	`LL \| fn f(a: isize) -> isize { if god_exists(a) { return 5; }; }`
`5`	`5`	`\| - ^^^^^ expected isize, found ()`
`6`	`6`	`\| \|`
`7`		- \| this function implicitly returns `()` as its body has no tail or `return` expression
	`7`	+ \| implicitly returns `()` as its body has no tail or `return` expression
`8`	`8`	`\|`
`9`	`9`	= note: expected type `isize`
`10`	`10`	found type `()`
Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@ error[E0308]: mismatched types`
`4`	`4`	`LL \| fn f() -> isize {`
`5`	`5`	`\| - ^^^^^ expected isize, found ()`
`6`	`6`	`\| \|`
`7`		- \| this function implicitly returns `()` as its body has no tail or `return` expression
	`7`	+ \| implicitly returns `()` as its body has no tail or `return` expression
`8`	`8`	`\|`
`9`	`9`	= note: expected type `isize`
`10`	`10`	found type `()`
Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@ error[E0308]: mismatched types`
`4`	`4`	`LL \| fn f() -> isize { }`
`5`	`5`	`\| - ^^^^^ expected isize, found ()`
`6`	`6`	`\| \|`
`7`		- \| this function implicitly returns `()` as its body has no tail or `return` expression
	`7`	+ \| implicitly returns `()` as its body has no tail or `return` expression
`8`	`8`	`\|`
`9`	`9`	= note: expected type `isize`
`10`	`10`	found type `()`
Original file line number	Diff line number	Diff line change
`@@ -19,7 +19,7 @@ error[E0308]: mismatched types`
`19`	`19`	`LL \| fn f() -> isize { fn f() -> isize {} pub f<`
`20`	`20`	`\| - ^^^^^ expected isize, found ()`
`21`	`21`	`\| \|`
`22`		- \| this function implicitly returns `()` as its body has no tail or `return` expression
	`22`	+ \| implicitly returns `()` as its body has no tail or `return` expression
`23`	`23`	`\|`
`24`	`24`	= note: expected type `isize`
`25`	`25`	found type `()`
Original file line number	Diff line number	Diff line change
`@@ -38,7 +38,7 @@ error[E0308]: mismatched types`
`38`	`38`	`LL \| fn v() -> isize {`
`39`	`39`	`\| - ^^^^^ expected isize, found ()`
`40`	`40`	`\| \|`
`41`		- \| this function implicitly returns `()` as its body has no tail or `return` expression
	`41`	+ \| implicitly returns `()` as its body has no tail or `return` expression
`42`	`42`	`\|`
`43`	`43`	= note: expected type `isize`
`44`	`44`	found type `()`