]> git.lizzy.rs Git - rust.git/commitdiff
Replace "non trivial" with "non-trivial"
authorvarkor <github@varkor.com>
Fri, 2 Oct 2020 01:31:05 +0000 (02:31 +0100)
committervarkor <github@varkor.com>
Sat, 3 Oct 2020 13:28:54 +0000 (14:28 +0100)
54 files changed:
compiler/rustc_feature/src/active.rs
compiler/rustc_resolve/src/diagnostics.rs
compiler/rustc_resolve/src/lib.rs
src/test/ui/const-generics/array-size-in-generic-struct-param.min.stderr
src/test/ui/const-generics/array-size-in-generic-struct-param.rs
src/test/ui/const-generics/const_evaluatable_checked/feature-gate-const_evaluatable_checked.min.stderr
src/test/ui/const-generics/const_evaluatable_checked/feature-gate-const_evaluatable_checked.rs
src/test/ui/const-generics/const_evaluatable_checked/simple.min.stderr
src/test/ui/const-generics/const_evaluatable_checked/simple_fail.min.stderr
src/test/ui/const-generics/const_evaluatable_checked/simple_fail.rs
src/test/ui/const-generics/issue-61522-array-len-succ.min.stderr
src/test/ui/const-generics/issues/issue-61747.min.stderr
src/test/ui/const-generics/issues/issue-61935.min.stderr
src/test/ui/const-generics/issues/issue-61935.rs
src/test/ui/const-generics/issues/issue-62220.min.stderr
src/test/ui/const-generics/issues/issue-62220.rs
src/test/ui/const-generics/issues/issue-62456.min.stderr
src/test/ui/const-generics/issues/issue-62456.rs
src/test/ui/const-generics/issues/issue-64494.min.stderr
src/test/ui/const-generics/issues/issue-64494.rs
src/test/ui/const-generics/issues/issue-66205.min.stderr
src/test/ui/const-generics/issues/issue-66205.rs
src/test/ui/const-generics/issues/issue-67739.min.stderr
src/test/ui/const-generics/issues/issue-67739.rs
src/test/ui/const-generics/issues/issue-68366.min.stderr
src/test/ui/const-generics/issues/issue-68366.rs
src/test/ui/const-generics/issues/issue-68977.min.stderr
src/test/ui/const-generics/issues/issue-68977.rs
src/test/ui/const-generics/issues/issue-72787.min.stderr
src/test/ui/const-generics/issues/issue-72787.rs
src/test/ui/const-generics/issues/issue-72819-generic-in-const-eval.min.stderr
src/test/ui/const-generics/issues/issue-72819-generic-in-const-eval.rs
src/test/ui/const-generics/issues/issue-76701-ty-param-in-const.min.stderr
src/test/ui/const-generics/issues/issue-76701-ty-param-in-const.rs
src/test/ui/const-generics/min_const_generics/complex-expression.rs
src/test/ui/const-generics/min_const_generics/complex-expression.stderr
src/test/ui/const-generics/min_const_generics/const-argument-if-length.rs
src/test/ui/const-generics/min_const_generics/const-argument-if-length.stderr
src/test/ui/const-generics/min_const_generics/generic-function-call-in-array-length.rs
src/test/ui/const-generics/min_const_generics/generic-sum-in-array-length.rs
src/test/ui/const-generics/min_const_generics/generic-sum-in-array-length.stderr
src/test/ui/const-generics/min_const_generics/intrinsics-type_name-as-const-argument.rs
src/test/ui/const-generics/min_const_generics/intrinsics-type_name-as-const-argument.stderr
src/test/ui/const-generics/min_const_generics/issue-67375.rs
src/test/ui/const-generics/min_const_generics/issue-67375.stderr
src/test/ui/const-generics/min_const_generics/issue-67945-1.rs
src/test/ui/const-generics/min_const_generics/issue-67945-1.stderr
src/test/ui/const-generics/min_const_generics/issue-67945-2.rs
src/test/ui/const-generics/min_const_generics/issue-67945-2.stderr
src/test/ui/const-generics/min_const_generics/self-ty-in-const-1.stderr
src/test/ui/const-generics/params-in-ct-in-ty-param-lazy-norm.min.stderr
src/test/ui/const-generics/params-in-ct-in-ty-param-lazy-norm.rs
src/test/ui/const-generics/wf-misc.min.stderr
src/test/ui/const-generics/wf-misc.rs

index 348cff8d2dad2eb66816deb93f1af57773a38428..c4774de73e19590cd5cbc1248ff3951c3188a4f1 100644 (file)
@@ -581,7 +581,7 @@ pub fn set(&self, features: &mut Features, span: Span) {
     /// Allows `if let` guard in match arms.
     (active, if_let_guard, "1.47.0", Some(51114), None),
 
-    /// Allows non trivial generic constants which have to be manually propageted upwards.
+    /// Allows non-trivial generic constants which have to be manually propageted upwards.
     (active, const_evaluatable_checked, "1.48.0", Some(76560), None),
 
     /// Allows basic arithmetic on floating point types in a `const fn`.
index 612bc3e74911c44d788189c4398b2cf2b50936c9..e3cf6d12bd5eb28191ba05d12ce9fe5522e1a599 100644 (file)
@@ -469,7 +469,7 @@ impl<'a> Resolver<'a> {
             ResolutionError::ParamInNonTrivialAnonConst { name, is_type } => {
                 let mut err = self.session.struct_span_err(
                     span,
-                    "generic parameters must not be used inside of non trivial constant values",
+                    "generic parameters must not be used inside of non-trivial constant values",
                 );
                 err.span_label(
                     span,
index 283db1404d0a4eb591f2818b97bdeaf72f1e1811..fe8f592638594a643a99340c953cd65efbbfe5e7 100644 (file)
@@ -218,7 +218,7 @@ enum ResolutionError<'a> {
     ParamInTyOfConstParam(Symbol),
     /// constant values inside of type parameter defaults must not depend on generic parameters.
     ParamInAnonConstInTyDefault(Symbol),
-    /// generic parameters must not be used inside of non trivial constant values.
+    /// generic parameters must not be used inside of non-trivial constant values.
     ///
     /// This error is only emitted when using `min_const_generics`.
     ParamInNonTrivialAnonConst { name: Symbol, is_type: bool },
index 809514e8a1c9da2ecdebddeb3cbf309a61eb098a..0fc45513cd78a32a2547f65217cb456cf3f30db8 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/array-size-in-generic-struct-param.rs:9:48
    |
 LL | struct ArithArrayLen<const N: usize>([u32; 0 + N]);
@@ -6,7 +6,7 @@ LL | struct ArithArrayLen<const N: usize>([u32; 0 + N]);
    |
    = help: it is currently only allowed to use either `N` or `{ N }` as generic constants
 
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/array-size-in-generic-struct-param.rs:20:15
    |
 LL |     arr: [u8; CFG.arr_size],
index 8bd3b78725957785ddf5f7509e52e60c0d020fdd..dd45b6ed278e8cca74fb7c03f08b0e89a08e1868 100644 (file)
@@ -8,7 +8,7 @@
 #[allow(dead_code)]
 struct ArithArrayLen<const N: usize>([u32; 0 + N]);
 //[full]~^ ERROR constant expression depends on a generic parameter
-//[min]~^^ ERROR generic parameters must not be used inside of non trivial constant values
+//[min]~^^ ERROR generic parameters must not be used inside of non-trivial constant values
 
 #[derive(PartialEq, Eq)]
 struct Config {
@@ -19,7 +19,7 @@ struct B<const CFG: Config> {
     //[min]~^ ERROR `Config` is forbidden
     arr: [u8; CFG.arr_size],
     //[full]~^ ERROR constant expression depends on a generic parameter
-    //[min]~^^ ERROR generic parameters must not be used inside of non trivial
+    //[min]~^^ ERROR generic parameters must not be used inside of non-trivial
 }
 
 const C: Config = Config { arr_size: 5 };
index 269710db164b1225b1c0e61abfc4d240db43b140..4b3235fd08783f6fde9b56a857216bff06c673da 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/feature-gate-const_evaluatable_checked.rs:6:33
    |
 LL | type Arr<const N: usize> = [u8; N - 1];
index af3090115f24a8cc2c717164aae16c55017cb6eb..d552e0f543080a7ffe4d8cc8c39843d597d68bd0 100644 (file)
@@ -4,7 +4,7 @@
 #![cfg_attr(min, feature(min_const_generics))]
 
 type Arr<const N: usize> = [u8; N - 1];
-//[min]~^ ERROR generic parameters must not be used inside of non trivial constant values
+//[min]~^ ERROR generic parameters must not be used inside of non-trivial constant values
 
 fn test<const N: usize>() -> Arr<N> where Arr<N>: Default {
     //[full]~^ ERROR constant expression depends
index 3cac604a7b33a0d1e1b419c2ba87139c29884344..85a15b1e75fdcc5feaf82c222a25256178b4316c 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/simple.rs:8:53
    |
 LL | fn test<const N: usize>() -> [u8; N - 1] where [u8; N - 1]: Default {
@@ -6,7 +6,7 @@ LL | fn test<const N: usize>() -> [u8; N - 1] where [u8; N - 1]: Default {
    |
    = help: it is currently only allowed to use either `N` or `{ N }` as generic constants
 
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/simple.rs:8:35
    |
 LL | fn test<const N: usize>() -> [u8; N - 1] where [u8; N - 1]: Default {
index 042710f13273e191108965e7e858dacc1509f988..2eac9505624dd23a70f34ea92631cf2943329958 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/simple_fail.rs:7:33
    |
 LL | type Arr<const N: usize> = [u8; N - 1];
index b15e0ff183954f7d5470eb491b9c7b4dc2c3a7f8..637c940f7143270fda540d5b1fc994c7716f5209 100644 (file)
@@ -5,7 +5,7 @@
 #![allow(incomplete_features)]
 
 type Arr<const N: usize> = [u8; N - 1]; //[full]~ ERROR evaluation of constant
-//[min]~^ ERROR generic parameters must not be used inside of non trivial constant values
+//[min]~^ ERROR generic parameters must not be used inside of non-trivial constant values
 
 fn test<const N: usize>() -> Arr<N> where Arr<N>: Sized {
     todo!()
index a1b1a095041b317ff09ff3bc268bc2150bc786f6..2c1bc055b28ae85ea17a4d48c8f4168cae4e880c 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-61522-array-len-succ.rs:7:45
    |
 LL | pub struct MyArray<const COUNT: usize>([u8; COUNT + 1]);
@@ -6,7 +6,7 @@ LL | pub struct MyArray<const COUNT: usize>([u8; COUNT + 1]);
    |
    = help: it is currently only allowed to use either `COUNT` or `{ COUNT }` as generic constants
 
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-61522-array-len-succ.rs:12:30
    |
 LL |     fn inner(&self) -> &[u8; COUNT + 1] {
index 2061b6c55bb7b2a67677ace3402e07b559a17506..fdd9a569748e262745980e5063bb2fefdecf4e6a 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-61747.rs:8:30
    |
 LL |     fn successor() -> Const<{C + 1}> {
index e5715ec658c5cb725874c8f99b6a35c9cb5e577f..f461a31eeae3a86c1ada139e52fcbf8027b00b0a 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-61935.rs:10:23
    |
 LL |         Self:FooImpl<{N==0}>
index 64257da03094360d3056fbed616f9edebac783c0..a181a8dabe5aab320991c36e1e544cfbcf043e95 100644 (file)
@@ -9,7 +9,7 @@ trait Foo {}
     where
         Self:FooImpl<{N==0}>
 //[full]~^ERROR constant expression depends on a generic parameter
-//[min]~^^ERROR generic parameters must not be used inside of non trivial constant values
+//[min]~^^ERROR generic parameters must not be used inside of non-trivial constant values
 {}
 
 trait FooImpl<const IS_ZERO: bool>{}
index 943b689bf61afe572e85b61cc5a2160061981f83..84975e8f3be6b96a30e5111d12bbbbccb5577b1f 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-62220.rs:8:59
    |
 LL | pub type TruncatedVector<T, const N: usize> = Vector<T, { N - 1 }>;
index acb13ad1170f2290a387a2eedbc5f4bbdee85829..5694dc6d04da17cce4f033c02abfcd72b2bf609f 100644 (file)
@@ -6,7 +6,7 @@
 pub struct Vector<T, const N: usize>([T; N]);
 
 pub type TruncatedVector<T, const N: usize> = Vector<T, { N - 1 }>;
-//[min]~^ ERROR generic parameters must not be used inside of non trivial constant values
+//[min]~^ ERROR generic parameters must not be used inside of non-trivial constant values
 
 impl<T, const N: usize> Vector<T, { N }> {
     /// Drop the last component and return the vector with one fewer dimension.
index 335f0ead278719f249728599feb44d1123464775..f94ba8c0c9b87b43f3ccebd3732f048f5ed86c92 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-62456.rs:7:20
    |
 LL |     let _ = [0u64; N + 1];
index c96868c00a3d60f343fd29ccda817a0ddf98e69e..338ec42799d1759a03fb5f829416cc8ac6520936 100644 (file)
@@ -6,7 +6,7 @@
 fn foo<const N: usize>() {
     let _ = [0u64; N + 1];
     //[full]~^ ERROR constant expression depends on a generic parameter
-    //[min]~^^ ERROR generic parameters must not be used inside of non trivial constant values
+    //[min]~^^ ERROR generic parameters must not be used inside of non-trivial constant values
 }
 
 fn main() {}
index 07822f86f524b621e6c60f28ef5de0d35a88486e..f712171bbac615b9ff00556bc1788ce7e5567f05 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-64494.rs:16:38
    |
 LL | impl<T: Foo> MyTrait for T where Is<{T::VAL == 5}>: True {}
@@ -6,7 +6,7 @@ LL | impl<T: Foo> MyTrait for T where Is<{T::VAL == 5}>: True {}
    |
    = note: type parameters are currently not permitted in anonymous constants
 
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-64494.rs:19:38
    |
 LL | impl<T: Foo> MyTrait for T where Is<{T::VAL == 6}>: True {}
index 3b598a415223ac7bf9a3af5adac1d183753aec68..b62ebf846d5b1d6220527f7f6d5164dbbbbc67ea 100644 (file)
@@ -15,10 +15,10 @@ impl True for Is<{true}> {}
 
 impl<T: Foo> MyTrait for T where Is<{T::VAL == 5}>: True {}
 //[full]~^ ERROR constant expression depends on a generic parameter
-//[min]~^^ ERROR generic parameters must not be used inside of non trivial constant values
+//[min]~^^ ERROR generic parameters must not be used inside of non-trivial constant values
 impl<T: Foo> MyTrait for T where Is<{T::VAL == 6}>: True {}
 //[full]~^ ERROR constant expression depends on a generic parameter
-//[min]~^^ ERROR generic parameters must not be used inside of non trivial constant values
+//[min]~^^ ERROR generic parameters must not be used inside of non-trivial constant values
 //[min]~| ERROR conflicting implementations of trait `MyTrait`
 
 fn main() {}
index 86709c389b623d04c0064cfbdd758c910838802f..a18126ccfef6d12dabc89619f369e5427a6d2d85 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-66205.rs:8:14
    |
 LL |     fact::<{ N - 1 }>();
index e115eff356a7f51d2e5302893e39e09057fac01b..668f49852e1ef1170f3a149874fa7e6173083080 100644 (file)
@@ -7,7 +7,7 @@
 fn fact<const N: usize>() {
     fact::<{ N - 1 }>();
     //[full]~^ ERROR constant expression depends on a generic parameter
-    //[min]~^^ ERROR generic parameters must not be used inside of non trivial constant values
+    //[min]~^^ ERROR generic parameters must not be used inside of non-trivial constant values
 }
 
 fn main() {}
index 68f1733decb93e03d1a455db3cae59714d522a8c..ba378de4156540b0b1ab90bfb58c21fd5b29f547 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-67739.rs:12:30
    |
 LL |         [0u8; mem::size_of::<Self::Associated>()];
index 72bf3ee9602fc3ea451f5fce9e2bdb26284de90c..296e4d423c48a246a9ec46f74a8e49db4eaa6dc7 100644 (file)
@@ -11,7 +11,7 @@ pub trait Trait {
     fn associated_size(&self) -> usize {
         [0u8; mem::size_of::<Self::Associated>()];
         //[full]~^ ERROR constant expression depends on a generic parameter
-        //[min]~^^ ERROR generic parameters must not be used inside of non trivial constant values
+        //[min]~^^ ERROR generic parameters must not be used inside of non-trivial constant values
         0
     }
 }
index 8d34bdc6ea0c81b59bf1f13046c90c65aca7ebd3..73d6fec6f9b565609a09e3c9353b5c671ed56a14 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-68366.rs:12:37
    |
 LL | impl <const N: usize> Collatz<{Some(N)}> {}
index 819fcaffea18cc5a601901ba2a8da515c856ae12..ac313eb3b2ff3a10cca570915fdf85c3360a92ad 100644 (file)
@@ -11,7 +11,7 @@
 
 impl <const N: usize> Collatz<{Some(N)}> {}
 //~^ ERROR the const parameter
-//[min]~^^ generic parameters must not be used inside of non trivial constant values
+//[min]~^^ generic parameters must not be used inside of non-trivial constant values
 
 struct Foo;
 
index 5b2137b244cb26a4234095ee04ed6a598a890567..59d2be3ce4b42a9cb1819b1299f369cb5f276ddf 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-68977.rs:29:17
    |
 LL |     PhantomU8<{(INT_BITS + FRAC_BITS + 7) / 8}>;
@@ -6,7 +6,7 @@ LL |     PhantomU8<{(INT_BITS + FRAC_BITS + 7) / 8}>;
    |
    = help: it is currently only allowed to use either `INT_BITS` or `{ INT_BITS }` as generic constants
 
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-68977.rs:29:28
    |
 LL |     PhantomU8<{(INT_BITS + FRAC_BITS + 7) / 8}>;
index 02e634efec3e7198b4d2c1070c447f28f6cd358c..49b305a5a783f62a7203e23980872d422781eff0 100644 (file)
@@ -27,8 +27,8 @@ macro_rules! fxp_storage_impls {
 
 type FxpStorageHelper<const INT_BITS: u8, const FRAC_BITS: u8> =
     PhantomU8<{(INT_BITS + FRAC_BITS + 7) / 8}>;
-    //[min]~^ ERROR generic parameters must not be used inside of non trivial constant values
-    //[min]~| ERROR generic parameters must not be used inside of non trivial constant values
+    //[min]~^ ERROR generic parameters must not be used inside of non-trivial constant values
+    //[min]~| ERROR generic parameters must not be used inside of non-trivial constant values
 
 struct Fxp<const INT_BITS: u8, const FRAC_BITS: u8>
 where
index d3e9887fe209c9c48ddfff1d73f81ce774a0b3cf..a4c80b1d8c01e29cfdefbc9d56949e41889737ed 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-72787.rs:11:17
    |
 LL |     Condition<{ LHS <= RHS }>: True
@@ -6,7 +6,7 @@ LL |     Condition<{ LHS <= RHS }>: True
    |
    = help: it is currently only allowed to use either `LHS` or `{ LHS }` as generic constants
 
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-72787.rs:11:24
    |
 LL |     Condition<{ LHS <= RHS }>: True
@@ -14,7 +14,7 @@ LL |     Condition<{ LHS <= RHS }>: True
    |
    = help: it is currently only allowed to use either `RHS` or `{ RHS }` as generic constants
 
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-72787.rs:26:25
    |
 LL |     IsLessOrEqual<{ 8 - I }, { 8 - J }>: True,
@@ -22,7 +22,7 @@ LL |     IsLessOrEqual<{ 8 - I }, { 8 - J }>: True,
    |
    = help: it is currently only allowed to use either `I` or `{ I }` as generic constants
 
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-72787.rs:26:36
    |
 LL |     IsLessOrEqual<{ 8 - I }, { 8 - J }>: True,
index 45c20191c88486fdc7e16329e403bc062c65a567..779c1d2950e4d510cc10d1bbba5430ef53ee2d96 100644 (file)
@@ -10,8 +10,8 @@ pub trait True {}
 impl<const LHS: u32, const RHS: u32> True for IsLessOrEqual<LHS, RHS> where
     Condition<{ LHS <= RHS }>: True
 //[full]~^ Error constant expression depends on a generic parameter
-//[min]~^^ Error generic parameters must not be used inside of non trivial constant values
-//[min]~| Error generic parameters must not be used inside of non trivial constant values
+//[min]~^^ Error generic parameters must not be used inside of non-trivial constant values
+//[min]~| Error generic parameters must not be used inside of non-trivial constant values
 {
 }
 impl True for Condition<true> {}
@@ -28,8 +28,8 @@ impl<const I: u32, const J: u32> S<I, J>
 //[full]~| constant expression depends on a generic parameter
 //[full]~| constant expression depends on a generic parameter
 //[full]~| constant expression depends on a generic parameter
-//[min]~^^^^^ Error generic parameters must not be used inside of non trivial constant values
-//[min]~| Error generic parameters must not be used inside of non trivial constant values
+//[min]~^^^^^ Error generic parameters must not be used inside of non-trivial constant values
+//[min]~| Error generic parameters must not be used inside of non-trivial constant values
     // Condition<{ 8 - I <= 8 - J }>: True,
 {
     fn print() {
index 48a1f0bd19c0a8a124c63c9b9a21fc88d3fbcbca..afc14c7dcff575af88eac6651b3d9d81d1cc843e 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-72819-generic-in-const-eval.rs:9:17
    |
 LL | where Assert::<{N < usize::max_value() / 2}>: IsTrue,
index b653b91d99d144afdbe7adc7e9bc468ef117620a..65c7f00a72ae5e20b2a686b530bf5779ea90ecc7 100644 (file)
@@ -8,7 +8,7 @@
 struct Arr<const N: usize>
 where Assert::<{N < usize::max_value() / 2}>: IsTrue,
 //[full]~^ ERROR constant expression depends on a generic parameter
-//[min]~^^ ERROR generic parameters must not be used inside of non trivial constant values
+//[min]~^^ ERROR generic parameters must not be used inside of non-trivial constant values
 {
 }
 
index a39495e0b2db016bcf689b6683814ad17b0aec2c..0db948d0a45dba0785093ca95c96e86a9492188f 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-76701-ty-param-in-const.rs:6:46
    |
 LL | fn ty_param<T>() -> [u8; std::mem::size_of::<T>()] {
@@ -6,7 +6,7 @@ LL | fn ty_param<T>() -> [u8; std::mem::size_of::<T>()] {
    |
    = note: type parameters are currently not permitted in anonymous constants
 
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-76701-ty-param-in-const.rs:12:42
    |
 LL | fn const_param<const N: usize>() -> [u8; N + 1] {
index 9252b592360d32888db7a4a40e01a267aa89e3d6..3c5bfb03f080176b6e4b95b98ca56de88e182026 100644 (file)
@@ -5,13 +5,13 @@
 
 fn ty_param<T>() -> [u8; std::mem::size_of::<T>()] {
     //[full]~^ ERROR constant expression depends on a generic parameter
-    //[min]~^^ ERROR generic parameters must not be used inside of non trivial constant values
+    //[min]~^^ ERROR generic parameters must not be used inside of non-trivial constant values
     todo!()
 }
 
 fn const_param<const N: usize>() -> [u8; N + 1] {
     //[full]~^ ERROR constant expression depends on a generic parameter
-    //[min]~^^ ERROR generic parameters must not be used inside of non trivial constant values
+    //[min]~^^ ERROR generic parameters must not be used inside of non-trivial constant values
     todo!()
 }
 
index f9cb0d2829d6ea84e8f5630cd12335710be16aaa..c6380f6394d0195abb18f45667764141b9c26fca 100644 (file)
@@ -7,19 +7,19 @@ fn test<const N: usize>() {}
 }
 
 struct Break0<const N: usize>([u8; { N + 1 }]);
-//~^ ERROR generic parameters must not be used inside of non trivial constant values
+//~^ ERROR generic parameters must not be used inside of non-trivial constant values
 
 struct Break1<const N: usize>([u8; { { N } }]);
-//~^ ERROR generic parameters must not be used inside of non trivial constant values
+//~^ ERROR generic parameters must not be used inside of non-trivial constant values
 
 fn break2<const N: usize>() {
     let _: [u8; N + 1];
-    //~^ ERROR generic parameters must not be used inside of non trivial constant values
+    //~^ ERROR generic parameters must not be used inside of non-trivial constant values
 }
 
 fn break3<const N: usize>() {
     let _ = [0; N + 1];
-    //~^ ERROR generic parameters must not be used inside of non trivial constant values
+    //~^ ERROR generic parameters must not be used inside of non-trivial constant values
 }
 
 trait Foo {
index baed8d13f00f1f6d2c934df21f30799f4757ca06..d8897f53d7f748d974a5183c5d9869c9bbc0f449 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/complex-expression.rs:9:38
    |
 LL | struct Break0<const N: usize>([u8; { N + 1 }]);
@@ -6,7 +6,7 @@ LL | struct Break0<const N: usize>([u8; { N + 1 }]);
    |
    = help: it is currently only allowed to use either `N` or `{ N }` as generic constants
 
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/complex-expression.rs:12:40
    |
 LL | struct Break1<const N: usize>([u8; { { N } }]);
@@ -14,7 +14,7 @@ LL | struct Break1<const N: usize>([u8; { { N } }]);
    |
    = help: it is currently only allowed to use either `N` or `{ N }` as generic constants
 
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/complex-expression.rs:16:17
    |
 LL |     let _: [u8; N + 1];
@@ -22,7 +22,7 @@ LL |     let _: [u8; N + 1];
    |
    = help: it is currently only allowed to use either `N` or `{ N }` as generic constants
 
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/complex-expression.rs:21:17
    |
 LL |     let _ = [0; N + 1];
index 354630ae878967fe3acee862fd4f8c90d8ae59a2..03c78a2fe684e36de811e1068a590e1120f0a831 100644 (file)
@@ -12,7 +12,7 @@ pub struct AtLeastByte<T: ?Sized> {
     value: T,
     //~^ ERROR the size for values of type `T` cannot be known at compilation time
     pad: [u8; is_zst::<T>()],
-    //~^ ERROR generic parameters must not be used inside of non trivial constant values
+    //~^ ERROR generic parameters must not be used inside of non-trivial constant values
 }
 
 fn main() {}
index a5bd3ab274836c04916aa78680b60efcedf272c9..ae5677887a124b955498dd7ecca72295f877c4fe 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/const-argument-if-length.rs:14:24
    |
 LL |     pad: [u8; is_zst::<T>()],
index c52f402294203a8d6c502fa42c525de464db65fe..f5387d659b3faf292a47ddcda48d7f5fab5ee8f0 100644 (file)
@@ -3,9 +3,9 @@
 const fn foo(n: usize) -> usize { n * 2 }
 
 fn bar<const N: usize>() -> [u32; foo(N)] {
-    //~^ ERROR generic parameters must not be used inside of non trivial constant values
+    //~^ ERROR generic parameters must not be used inside of non-trivial constant values
     [0; foo(N)]
-    //~^ ERROR generic parameters must not be used inside of non trivial constant values
+    //~^ ERROR generic parameters must not be used inside of non-trivial constant values
 }
 
 fn main() {}
index de7e5fe47283e65f8c0d36df0e13df73fd9a3dd0..ad0748297f53ebe42a4dfb512728305553bcfa1b 100644 (file)
@@ -1,7 +1,7 @@
 #![feature(min_const_generics)]
 
 fn foo<const A: usize, const B: usize>(bar: [usize; A + B]) {}
-//~^ ERROR generic parameters must not be used inside of non trivial constant values
-//~| ERROR generic parameters must not be used inside of non trivial constant values
+//~^ ERROR generic parameters must not be used inside of non-trivial constant values
+//~| ERROR generic parameters must not be used inside of non-trivial constant values
 
 fn main() {}
index 45d0ba985a48ac63e998fc0345b247e782362b9b..5af5c2b115d5fbd42bbf403d5d8a876e06d4f2a2 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/generic-sum-in-array-length.rs:3:53
    |
 LL | fn foo<const A: usize, const B: usize>(bar: [usize; A + B]) {}
@@ -6,7 +6,7 @@ LL | fn foo<const A: usize, const B: usize>(bar: [usize; A + B]) {}
    |
    = help: it is currently only allowed to use either `A` or `{ A }` as generic constants
 
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/generic-sum-in-array-length.rs:3:57
    |
 LL | fn foo<const A: usize, const B: usize>(bar: [usize; A + B]) {}
index 167a3f23c4c40d2766dacb4190dceac433ae31cc..5b5958520937f8903aef7d739e34f50516564e4d 100644 (file)
@@ -7,7 +7,7 @@ trait Trait<const S: &'static str> {}
 struct Bug<T>
 where
     T: Trait<{std::intrinsics::type_name::<T>()}>
-    //~^ ERROR generic parameters must not be used inside of non trivial constant values
+    //~^ ERROR generic parameters must not be used inside of non-trivial constant values
 {
     t: T
 }
index 07147da1117a37ba2ad8330ed7e372b9075daa66..2645195282b20c399a7e6b1a52cdc59abba1ab17 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/intrinsics-type_name-as-const-argument.rs:9:44
    |
 LL |     T: Trait<{std::intrinsics::type_name::<T>()}>
index 77ff10070e9712184289f7c571b6e48403df7244..308c48f8d325d559ac010435a6e02708500aa1cf 100644 (file)
@@ -3,7 +3,7 @@
 struct Bug<T> {
     //~^ ERROR parameter `T` is never used
     inner: [(); { [|_: &T| {}; 0].len() }],
-    //~^ ERROR generic parameters must not be used inside of non trivial constant values
+    //~^ ERROR generic parameters must not be used inside of non-trivial constant values
 }
 
 fn main() {}
index 345bdedfcb3e5e8cab68e4dfb1c917596e39e2f1..9963be787b736958c8a0361acc4ba94458fce422 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-67375.rs:5:25
    |
 LL |     inner: [(); { [|_: &T| {}; 0].len() }],
index cb1c900eb4fa88f66319a1920b84f98ec56399d5..f335f294de80e9265a8b721f602a31574a52358e 100644 (file)
@@ -8,9 +8,9 @@ struct Bug<S> {
     //~^ ERROR parameter `S` is never used
     A: [(); {
         let x: S = MaybeUninit::uninit();
-        //~^ ERROR generic parameters must not be used inside of non trivial constant values
+        //~^ ERROR generic parameters must not be used inside of non-trivial constant values
         let b = &*(&x as *const _ as *const S);
-        //~^ ERROR generic parameters must not be used inside of non trivial constant values
+        //~^ ERROR generic parameters must not be used inside of non-trivial constant values
         0
     }],
 }
index a9a4fda8a479bd5c08858acc198a4a6641a11b0f..4b6a1c7cf91662dcdad6c40a1e865d73d03c7dfe 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-67945-1.rs:10:16
    |
 LL |         let x: S = MaybeUninit::uninit();
@@ -6,7 +6,7 @@ LL |         let x: S = MaybeUninit::uninit();
    |
    = note: type parameters are currently not permitted in anonymous constants
 
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-67945-1.rs:12:45
    |
 LL |         let b = &*(&x as *const _ as *const S);
index 4b0799dce1eb5f008083762ac89ee9125fab8f2f..9faa1e0694d4d917483d7642543c69ebddbb7b5f 100644 (file)
@@ -6,9 +6,9 @@ struct Bug<S> {
     //~^ ERROR parameter `S` is never used
     A: [(); {
         let x: S = MaybeUninit::uninit();
-        //~^ ERROR generic parameters must not be used inside of non trivial constant values
+        //~^ ERROR generic parameters must not be used inside of non-trivial constant values
         let b = &*(&x as *const _ as *const S);
-        //~^ ERROR generic parameters must not be used inside of non trivial constant values
+        //~^ ERROR generic parameters must not be used inside of non-trivial constant values
         0
     }],
 }
index 8c40dc0eade80f674f90bfe464f73ac656ef8094..39d7f1f936887bf4422a7465a1df35dcb51c158a 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-67945-2.rs:8:16
    |
 LL |         let x: S = MaybeUninit::uninit();
@@ -6,7 +6,7 @@ LL |         let x: S = MaybeUninit::uninit();
    |
    = note: type parameters are currently not permitted in anonymous constants
 
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/issue-67945-2.rs:10:45
    |
 LL |         let b = &*(&x as *const _ as *const S);
index edb77a87430611c09c59161cba91d0a556f12f36..7dc81bf45af9aeec284d9d3f9c46605e3950b3b3 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/self-ty-in-const-1.rs:4:41
    |
 LL |     fn t1() -> [u8; std::mem::size_of::<Self>()];
index e545ae8571f67d7ee7780bd20ddea1a02629f093..0dd591d891f2b98a299ef2c6d55d2463f2f6c8f6 100644 (file)
@@ -6,7 +6,7 @@ LL | struct Bar<T = [u8; N], const N: usize>(T);
    |
    = note: using type defaults and const parameters in the same parameter list is currently not permitted
 
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/params-in-ct-in-ty-param-lazy-norm.rs:7:44
    |
 LL | struct Foo<T, U = [u8; std::mem::size_of::<T>()]>(T, U);
index e52773c78dbd3b4a66bb879dde364c4a054772c3..b9d74850f37d6ecb749c2240c79a473775722ceb 100644 (file)
@@ -6,7 +6,7 @@
 
 struct Foo<T, U = [u8; std::mem::size_of::<T>()]>(T, U);
 //[full]~^ ERROR constant values inside of type parameter defaults
-//[min]~^^ ERROR generic parameters must not be used inside of non trivial
+//[min]~^^ ERROR generic parameters must not be used inside of non-trivial
 
 // FIXME(const_generics:defaults): We still don't know how to we deal with type defaults.
 struct Bar<T = [u8; N], const N: usize>(T);
index f2acb8fc06e93812976e6dd91f7679eb394224ea..1c52d6017499770a60c6f508007342f6a8239cad 100644 (file)
@@ -1,4 +1,4 @@
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/wf-misc.rs:9:17
    |
 LL |     let _: [u8; N + 1];
@@ -6,7 +6,7 @@ LL |     let _: [u8; N + 1];
    |
    = help: it is currently only allowed to use either `N` or `{ N }` as generic constants
 
-error: generic parameters must not be used inside of non trivial constant values
+error: generic parameters must not be used inside of non-trivial constant values
   --> $DIR/wf-misc.rs:17:21
    |
 LL |     let _: Const::<{N + 1}>;
index e6f7a9963e8f11735cf5cc69e59af15f340de7bc..f8c41404c467b616d0ddadbb9094e6e0ab5de951 100644 (file)
@@ -8,7 +8,7 @@
 pub fn arr_len<const N: usize>() {
     let _: [u8; N + 1];
     //[full]~^ ERROR constant expression depends on a generic parameter
-    //[min]~^^ ERROR generic parameters must not be used inside of non trivial
+    //[min]~^^ ERROR generic parameters must not be used inside of non-trivial
 }
 
 struct Const<const N: usize>;
@@ -16,7 +16,7 @@ pub fn arr_len<const N: usize>() {
 pub fn func_call<const N: usize>() {
     let _: Const::<{N + 1}>;
     //[full]~^ ERROR constant expression depends on a generic parameter
-    //[min]~^^ ERROR generic parameters must not be used inside of non trivial
+    //[min]~^^ ERROR generic parameters must not be used inside of non-trivial
 }
 
 fn main() {}