Reword message

This commit is contained in:
Esteban Küber 2020-07-14 12:18:01 -07:00
parent c38b127d84
commit ff75395ca8
7 changed files with 35 additions and 34 deletions

View File

@ -1882,7 +1882,8 @@ impl<'a, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'a, 'tcx> {
Applicability::MachineApplicable, Applicability::MachineApplicable,
); );
err.multipart_suggestion( err.multipart_suggestion(
"heap allocated types always have a statically known size", "the `Box` type always has a statically known size and allocates its contents \
in the heap",
vec![ vec![
(span.shrink_to_lo(), "Box<".to_string()), (span.shrink_to_lo(), "Box<".to_string()),
(span.shrink_to_hi(), ">".to_string()), (span.shrink_to_hi(), ">".to_string()),

View File

@ -12,7 +12,7 @@ help: borrowed types always have a statically known size
| |
LL | data: &T, LL | data: &T,
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | data: Box<T>, LL | data: Box<T>,
| ^^^^ ^ | ^^^^ ^

View File

@ -11,7 +11,7 @@ help: borrowed types always have a statically known size
| |
LL | V(&[Box<E>]), LL | V(&[Box<E>]),
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | V(Box<[Box<E>]>), LL | V(Box<[Box<E>]>),
| ^^^^ ^ | ^^^^ ^

View File

@ -12,7 +12,7 @@ help: borrowed types always have a statically known size
| |
LL | value: &T, LL | value: &T,
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | value: Box<T>, LL | value: Box<T>,
| ^^^^ ^ | ^^^^ ^
@ -31,7 +31,7 @@ help: borrowed types always have a statically known size
| |
LL | value: &T, LL | value: &T,
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | value: Box<T>, LL | value: Box<T>,
| ^^^^ ^ | ^^^^ ^
@ -50,7 +50,7 @@ help: borrowed types always have a statically known size
| |
LL | Value(&T), LL | Value(&T),
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | Value(Box<T>), LL | Value(Box<T>),
| ^^^^ ^ | ^^^^ ^

View File

@ -11,7 +11,7 @@ help: borrowed types always have a statically known size
| |
LL | a: &str, LL | a: &str,
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | a: Box<str>, LL | a: Box<str>,
| ^^^^ ^ | ^^^^ ^
@ -29,7 +29,7 @@ help: borrowed types always have a statically known size
| |
LL | b: &str, LL | b: &str,
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | b: Box<str>, LL | b: Box<str>,
| ^^^^ ^ | ^^^^ ^

View File

@ -13,7 +13,7 @@ help: borrowed types always have a statically known size
| |
LL | VA(&W), LL | VA(&W),
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | VA(Box<W>), LL | VA(Box<W>),
| ^^^^ ^ | ^^^^ ^
@ -33,7 +33,7 @@ help: borrowed types always have a statically known size
| |
LL | VB{x: &X}, LL | VB{x: &X},
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | VB{x: Box<X>}, LL | VB{x: Box<X>},
| ^^^^ ^ | ^^^^ ^
@ -53,7 +53,7 @@ help: borrowed types always have a statically known size
| |
LL | VC(isize, &Y), LL | VC(isize, &Y),
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | VC(isize, Box<Y>), LL | VC(isize, Box<Y>),
| ^^^^ ^ | ^^^^ ^
@ -73,7 +73,7 @@ help: borrowed types always have a statically known size
| |
LL | VD{u: isize, x: &Z}, LL | VD{u: isize, x: &Z},
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | VD{u: isize, x: Box<Z>}, LL | VD{u: isize, x: Box<Z>},
| ^^^^ ^ | ^^^^ ^
@ -91,7 +91,7 @@ help: borrowed types always have a statically known size
| |
LL | VE(&[u8]), LL | VE(&[u8]),
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | VE(Box<[u8]>), LL | VE(Box<[u8]>),
| ^^^^ ^ | ^^^^ ^
@ -109,7 +109,7 @@ help: borrowed types always have a statically known size
| |
LL | VF{x: &str}, LL | VF{x: &str},
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | VF{x: Box<str>}, LL | VF{x: Box<str>},
| ^^^^ ^ | ^^^^ ^
@ -127,7 +127,7 @@ help: borrowed types always have a statically known size
| |
LL | VG(isize, &[f32]), LL | VG(isize, &[f32]),
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | VG(isize, Box<[f32]>), LL | VG(isize, Box<[f32]>),
| ^^^^ ^ | ^^^^ ^
@ -145,7 +145,7 @@ help: borrowed types always have a statically known size
| |
LL | VH{u: isize, x: &[u32]}, LL | VH{u: isize, x: &[u32]},
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | VH{u: isize, x: Box<[u32]>}, LL | VH{u: isize, x: Box<[u32]>},
| ^^^^ ^ | ^^^^ ^
@ -163,7 +163,7 @@ help: borrowed types always have a statically known size
| |
LL | VM(&dyn Foo), LL | VM(&dyn Foo),
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | VM(Box<dyn Foo>), LL | VM(Box<dyn Foo>),
| ^^^^ ^ | ^^^^ ^
@ -181,7 +181,7 @@ help: borrowed types always have a statically known size
| |
LL | VN{x: &dyn Bar}, LL | VN{x: &dyn Bar},
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | VN{x: Box<dyn Bar>}, LL | VN{x: Box<dyn Bar>},
| ^^^^ ^ | ^^^^ ^
@ -199,7 +199,7 @@ help: borrowed types always have a statically known size
| |
LL | VO(isize, &dyn FooBar), LL | VO(isize, &dyn FooBar),
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | VO(isize, Box<dyn FooBar>), LL | VO(isize, Box<dyn FooBar>),
| ^^^^ ^ | ^^^^ ^
@ -217,7 +217,7 @@ help: borrowed types always have a statically known size
| |
LL | VP{u: isize, x: &dyn BarFoo}, LL | VP{u: isize, x: &dyn BarFoo},
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | VP{u: isize, x: Box<dyn BarFoo>}, LL | VP{u: isize, x: Box<dyn BarFoo>},
| ^^^^ ^ | ^^^^ ^
@ -235,7 +235,7 @@ help: borrowed types always have a statically known size
| |
LL | VQ(&<&'static [i8] as Deref>::Target), LL | VQ(&<&'static [i8] as Deref>::Target),
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | VQ(Box<<&'static [i8] as Deref>::Target>), LL | VQ(Box<<&'static [i8] as Deref>::Target>),
| ^^^^ ^ | ^^^^ ^
@ -253,7 +253,7 @@ help: borrowed types always have a statically known size
| |
LL | VR{x: &<&'static [char] as Deref>::Target}, LL | VR{x: &<&'static [char] as Deref>::Target},
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | VR{x: Box<<&'static [char] as Deref>::Target>}, LL | VR{x: Box<<&'static [char] as Deref>::Target>},
| ^^^^ ^ | ^^^^ ^
@ -271,7 +271,7 @@ help: borrowed types always have a statically known size
| |
LL | VS(isize, &<&'static [f64] as Deref>::Target), LL | VS(isize, &<&'static [f64] as Deref>::Target),
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | VS(isize, Box<<&'static [f64] as Deref>::Target>), LL | VS(isize, Box<<&'static [f64] as Deref>::Target>),
| ^^^^ ^ | ^^^^ ^
@ -289,7 +289,7 @@ help: borrowed types always have a statically known size
| |
LL | VT{u: isize, x: &<&'static [i32] as Deref>::Target}, LL | VT{u: isize, x: &<&'static [i32] as Deref>::Target},
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | VT{u: isize, x: Box<<&'static [i32] as Deref>::Target>}, LL | VT{u: isize, x: Box<<&'static [i32] as Deref>::Target>},
| ^^^^ ^ | ^^^^ ^
@ -308,7 +308,7 @@ help: borrowed types always have a statically known size
| |
LL | VI(&Path1), LL | VI(&Path1),
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | VI(Box<Path1>), LL | VI(Box<Path1>),
| ^^^^ ^ | ^^^^ ^
@ -327,7 +327,7 @@ help: borrowed types always have a statically known size
| |
LL | VJ{x: &Path2}, LL | VJ{x: &Path2},
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | VJ{x: Box<Path2>}, LL | VJ{x: Box<Path2>},
| ^^^^ ^ | ^^^^ ^
@ -346,7 +346,7 @@ help: borrowed types always have a statically known size
| |
LL | VK(isize, &Path3), LL | VK(isize, &Path3),
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | VK(isize, Box<Path3>), LL | VK(isize, Box<Path3>),
| ^^^^ ^ | ^^^^ ^
@ -365,7 +365,7 @@ help: borrowed types always have a statically known size
| |
LL | VL{u: isize, x: &Path4}, LL | VL{u: isize, x: &Path4},
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | VL{u: isize, x: Box<Path4>}, LL | VL{u: isize, x: Box<Path4>},
| ^^^^ ^ | ^^^^ ^

View File

@ -12,7 +12,7 @@ help: borrowed types always have a statically known size
| |
LL | f1: &X, LL | f1: &X,
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | f1: Box<X>, LL | f1: Box<X>,
| ^^^^ ^ | ^^^^ ^
@ -32,7 +32,7 @@ help: borrowed types always have a statically known size
| |
LL | g: &X, LL | g: &X,
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | g: Box<X>, LL | g: Box<X>,
| ^^^^ ^ | ^^^^ ^
@ -50,7 +50,7 @@ help: borrowed types always have a statically known size
| |
LL | f: &str, LL | f: &str,
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | f: Box<str>, LL | f: Box<str>,
| ^^^^ ^ | ^^^^ ^
@ -68,7 +68,7 @@ help: borrowed types always have a statically known size
| |
LL | f: &[u8], LL | f: &[u8],
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | f: Box<[u8]>, LL | f: Box<[u8]>,
| ^^^^ ^ | ^^^^ ^
@ -87,7 +87,7 @@ help: borrowed types always have a statically known size
| |
LL | V1(&X, isize), LL | V1(&X, isize),
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | V1(Box<X>, isize), LL | V1(Box<X>, isize),
| ^^^^ ^ | ^^^^ ^
@ -106,7 +106,7 @@ help: borrowed types always have a statically known size
| |
LL | V2{f1: &X, f: isize}, LL | V2{f1: &X, f: isize},
| ^ | ^
help: heap allocated types always have a statically known size help: the `Box` type always has a statically known size and allocates its contents in the heap
| |
LL | V2{f1: Box<X>, f: isize}, LL | V2{f1: Box<X>, f: isize},
| ^^^^ ^ | ^^^^ ^