Safe Transmute: lowercase diagnostics

Author: jswrenn

compiler/rustc_trait_selection/src/traits/error_reporting/type_err_ctxt_ext.rs

@@ -3082,20 +3082,20 @@ impl<'tcx> TypeErrCtxt<'_, 'tcx> {
  }
 
  rustc_transmute::Reason::DstIsBitIncompatible => {
- format!("At least one value of `{src}` isn't a bit-valid value of `{dst}`")
+ format!("at least one value of `{src}` isn't a bit-valid value of `{dst}`")
  }
 
  rustc_transmute::Reason::DstMayHaveSafetyInvariants => {
  format!("`{dst}` may carry safety invariants")
  }
  rustc_transmute::Reason::DstIsTooBig => {
- format!("The size of `{src}` is smaller than the size of `{dst}`")
+ format!("the size of `{src}` is smaller than the size of `{dst}`")
  }
  rustc_transmute::Reason::DstRefIsTooBig { src, dst } => {
  let src_size = src.size;
  let dst_size = dst.size;
  format!(
- "The referent size of `{src}` ({src_size} bytes) is smaller than that of `{dst}` ({dst_size} bytes)"
+ "the referent size of `{src}` ({src_size} bytes) is smaller than that of `{dst}` ({dst_size} bytes)"
  )
  }
  rustc_transmute::Reason::SrcSizeOverflow => {
@@ -3113,7 +3113,7 @@ impl<'tcx> TypeErrCtxt<'_, 'tcx> {
  dst_min_align,
  } => {
  format!(
- "The minimum alignment of `{src}` ({src_min_align}) should be greater than that of `{dst}` ({dst_min_align})"
+ "the minimum alignment of `{src}` ({src_min_align}) should be greater than that of `{dst}` ({dst_min_align})"
  )
  }
  rustc_transmute::Reason::DstIsMoreUnique => {

tests/ui/transmutability/alignment/align-fail.stderr

@@ -2,7 +2,7 @@ error[E0277]: `&[u8; 0]` cannot be safely transmuted into `&[u16; 0]`
  --> $DIR/align-fail.rs:21:55
  |
 LL | ...tatic [u8; 0], &'static [u16; 0]>();
- | ^^^^^^^^^^^^^^^^^ The minimum alignment of `&[u8; 0]` (1) should be greater than that of `&[u16; 0]` (2)
+ | ^^^^^^^^^^^^^^^^^ the minimum alignment of `&[u8; 0]` (1) should be greater than that of `&[u16; 0]` (2)
  |
 note: required by a bound in `is_maybe_transmutable`
  --> $DIR/align-fail.rs:9:14

tests/ui/transmutability/enums/repr/primitive_reprs_should_have_correct_length.stderr

@@ -2,7 +2,7 @@ error[E0277]: `Zst` cannot be safely transmuted into `V0i8`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:46:44
  |
 LL | assert::is_transmutable::<Smaller, Current>();
- | ^^^^^^^ The size of `Zst` is smaller than the size of `V0i8`
+ | ^^^^^^^ the size of `Zst` is smaller than the size of `V0i8`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:12:14
@@ -24,7 +24,7 @@ error[E0277]: `V0i8` cannot be safely transmuted into `u16`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:48:44
  |
 LL | assert::is_transmutable::<Current, Larger>();
- | ^^^^^^ The size of `V0i8` is smaller than the size of `u16`
+ | ^^^^^^ the size of `V0i8` is smaller than the size of `u16`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:12:14
@@ -46,7 +46,7 @@ error[E0277]: `Zst` cannot be safely transmuted into `V0u8`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:54:44
  |
 LL | assert::is_transmutable::<Smaller, Current>();
- | ^^^^^^^ The size of `Zst` is smaller than the size of `V0u8`
+ | ^^^^^^^ the size of `Zst` is smaller than the size of `V0u8`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:12:14
@@ -68,7 +68,7 @@ error[E0277]: `V0u8` cannot be safely transmuted into `u16`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:56:44
  |
 LL | assert::is_transmutable::<Current, Larger>();
- | ^^^^^^ The size of `V0u8` is smaller than the size of `u16`
+ | ^^^^^^ the size of `V0u8` is smaller than the size of `u16`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:12:14
@@ -90,7 +90,7 @@ error[E0277]: `u8` cannot be safely transmuted into `V0i16`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:68:44
  |
 LL | assert::is_transmutable::<Smaller, Current>();
- | ^^^^^^^ The size of `u8` is smaller than the size of `V0i16`
+ | ^^^^^^^ the size of `u8` is smaller than the size of `V0i16`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:12:14
@@ -112,7 +112,7 @@ error[E0277]: `V0i16` cannot be safely transmuted into `u32`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:70:44
  |
 LL | assert::is_transmutable::<Current, Larger>();
- | ^^^^^^ The size of `V0i16` is smaller than the size of `u32`
+ | ^^^^^^ the size of `V0i16` is smaller than the size of `u32`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:12:14
@@ -134,7 +134,7 @@ error[E0277]: `u8` cannot be safely transmuted into `V0u16`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:76:44
  |
 LL | assert::is_transmutable::<Smaller, Current>();
- | ^^^^^^^ The size of `u8` is smaller than the size of `V0u16`
+ | ^^^^^^^ the size of `u8` is smaller than the size of `V0u16`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:12:14
@@ -156,7 +156,7 @@ error[E0277]: `V0u16` cannot be safely transmuted into `u32`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:78:44
  |
 LL | assert::is_transmutable::<Current, Larger>();
- | ^^^^^^ The size of `V0u16` is smaller than the size of `u32`
+ | ^^^^^^ the size of `V0u16` is smaller than the size of `u32`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:12:14
@@ -178,7 +178,7 @@ error[E0277]: `u16` cannot be safely transmuted into `V0i32`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:90:44
  |
 LL | assert::is_transmutable::<Smaller, Current>();
- | ^^^^^^^ The size of `u16` is smaller than the size of `V0i32`
+ | ^^^^^^^ the size of `u16` is smaller than the size of `V0i32`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:12:14
@@ -200,7 +200,7 @@ error[E0277]: `V0i32` cannot be safely transmuted into `u64`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:92:44
  |
 LL | assert::is_transmutable::<Current, Larger>();
- | ^^^^^^ The size of `V0i32` is smaller than the size of `u64`
+ | ^^^^^^ the size of `V0i32` is smaller than the size of `u64`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:12:14
@@ -222,7 +222,7 @@ error[E0277]: `u16` cannot be safely transmuted into `V0u32`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:98:44
  |
 LL | assert::is_transmutable::<Smaller, Current>();
- | ^^^^^^^ The size of `u16` is smaller than the size of `V0u32`
+ | ^^^^^^^ the size of `u16` is smaller than the size of `V0u32`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:12:14
@@ -244,7 +244,7 @@ error[E0277]: `V0u32` cannot be safely transmuted into `u64`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:100:44
  |
 LL | assert::is_transmutable::<Current, Larger>();
- | ^^^^^^ The size of `V0u32` is smaller than the size of `u64`
+ | ^^^^^^ the size of `V0u32` is smaller than the size of `u64`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:12:14
@@ -266,7 +266,7 @@ error[E0277]: `u32` cannot be safely transmuted into `V0i64`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:112:44
  |
 LL | assert::is_transmutable::<Smaller, Current>();
- | ^^^^^^^ The size of `u32` is smaller than the size of `V0i64`
+ | ^^^^^^^ the size of `u32` is smaller than the size of `V0i64`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:12:14
@@ -288,7 +288,7 @@ error[E0277]: `V0i64` cannot be safely transmuted into `u128`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:114:44
  |
 LL | assert::is_transmutable::<Current, Larger>();
- | ^^^^^^ The size of `V0i64` is smaller than the size of `u128`
+ | ^^^^^^ the size of `V0i64` is smaller than the size of `u128`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:12:14
@@ -310,7 +310,7 @@ error[E0277]: `u32` cannot be safely transmuted into `V0u64`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:120:44
  |
 LL | assert::is_transmutable::<Smaller, Current>();
- | ^^^^^^^ The size of `u32` is smaller than the size of `V0u64`
+ | ^^^^^^^ the size of `u32` is smaller than the size of `V0u64`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:12:14
@@ -332,7 +332,7 @@ error[E0277]: `V0u64` cannot be safely transmuted into `u128`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:122:44
  |
 LL | assert::is_transmutable::<Current, Larger>();
- | ^^^^^^ The size of `V0u64` is smaller than the size of `u128`
+ | ^^^^^^ the size of `V0u64` is smaller than the size of `u128`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:12:14
@@ -354,7 +354,7 @@ error[E0277]: `u8` cannot be safely transmuted into `V0isize`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:134:44
  |
 LL | assert::is_transmutable::<Smaller, Current>();
- | ^^^^^^^ The size of `u8` is smaller than the size of `V0isize`
+ | ^^^^^^^ the size of `u8` is smaller than the size of `V0isize`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:12:14
@@ -376,7 +376,7 @@ error[E0277]: `V0isize` cannot be safely transmuted into `[usize; 2]`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:136:44
  |
 LL | assert::is_transmutable::<Current, Larger>();
- | ^^^^^^ The size of `V0isize` is smaller than the size of `[usize; 2]`
+ | ^^^^^^ the size of `V0isize` is smaller than the size of `[usize; 2]`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:12:14
@@ -398,7 +398,7 @@ error[E0277]: `u8` cannot be safely transmuted into `V0usize`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:142:44
  |
 LL | assert::is_transmutable::<Smaller, Current>();
- | ^^^^^^^ The size of `u8` is smaller than the size of `V0usize`
+ | ^^^^^^^ the size of `u8` is smaller than the size of `V0usize`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:12:14
@@ -420,7 +420,7 @@ error[E0277]: `V0usize` cannot be safely transmuted into `[usize; 2]`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:144:44
  |
 LL | assert::is_transmutable::<Current, Larger>();
- | ^^^^^^ The size of `V0usize` is smaller than the size of `[usize; 2]`
+ | ^^^^^^ the size of `V0usize` is smaller than the size of `[usize; 2]`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/primitive_reprs_should_have_correct_length.rs:12:14

tests/ui/transmutability/enums/should_pad_variants.stderr

@@ -2,7 +2,7 @@ error[E0277]: `Src` cannot be safely transmuted into `Dst`
  --> $DIR/should_pad_variants.rs:43:36
  |
 LL | assert::is_transmutable::<Src, Dst>();
- | ^^^ The size of `Src` is smaller than the size of `Dst`
+ | ^^^ the size of `Src` is smaller than the size of `Dst`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/should_pad_variants.rs:13:14

tests/ui/transmutability/enums/should_respect_endianness.stderr

@@ -2,7 +2,7 @@ error[E0277]: `Src` cannot be safely transmuted into `Unexpected`
  --> $DIR/should_respect_endianness.rs:35:36
  |
 LL | assert::is_transmutable::<Src, Unexpected>();
- | ^^^^^^^^^^ At least one value of `Src` isn't a bit-valid value of `Unexpected`
+ | ^^^^^^^^^^ at least one value of `Src` isn't a bit-valid value of `Unexpected`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/should_respect_endianness.rs:13:14

tests/ui/transmutability/primitives/bool-mut.stderr

@@ -2,7 +2,7 @@ error[E0277]: `u8` cannot be safely transmuted into `bool`
  --> $DIR/bool-mut.rs:15:50
  |
 LL | assert::is_transmutable::<&'static mut bool, &'static mut u8>()
- | ^^^^^^^^^^^^^^^ At least one value of `u8` isn't a bit-valid value of `bool`
+ | ^^^^^^^^^^^^^^^ at least one value of `u8` isn't a bit-valid value of `bool`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/bool-mut.rs:10:14

tests/ui/transmutability/primitives/bool.current.stderr

@@ -2,7 +2,7 @@ error[E0277]: `u8` cannot be safely transmuted into `bool`
  --> $DIR/bool.rs:21:35
  |
 LL | assert::is_transmutable::<u8, bool>();
- | ^^^^ At least one value of `u8` isn't a bit-valid value of `bool`
+ | ^^^^ at least one value of `u8` isn't a bit-valid value of `bool`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/bool.rs:11:14

tests/ui/transmutability/primitives/bool.next.stderr

@@ -2,7 +2,7 @@ error[E0277]: `u8` cannot be safely transmuted into `bool`
  --> $DIR/bool.rs:21:35
  |
 LL | assert::is_transmutable::<u8, bool>();
- | ^^^^ At least one value of `u8` isn't a bit-valid value of `bool`
+ | ^^^^ at least one value of `u8` isn't a bit-valid value of `bool`
  |
 note: required by a bound in `is_transmutable`
  --> $DIR/bool.rs:11:14