src/test/ui/const-generics/const-arg-in-const-arg.full.stderr

   1 error: cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
   2   --> $DIR/const-arg-in-const-arg.rs:18:23
   3    |
   4 LL |     let _: [u8; faz::<'a>(&())];
   5    |                       ^^
   6    |
   7 note: the late bound lifetime parameter is introduced here
   8   --> $DIR/const-arg-in-const-arg.rs:8:14
   9    |
  10 LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
  11    |              ^^
  12
  13 error: cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
  14   --> $DIR/const-arg-in-const-arg.rs:21:23
  15    |
  16 LL |     let _: [u8; faz::<'b>(&())];
  17    |                       ^^
  18    |
  19 note: the late bound lifetime parameter is introduced here
  20   --> $DIR/const-arg-in-const-arg.rs:8:14
  21    |
  22 LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
  23    |              ^^
  24
  25 error: cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
  26   --> $DIR/const-arg-in-const-arg.rs:41:24
  27    |
  28 LL |     let _: Foo<{ faz::<'a>(&()) }>;
  29    |                        ^^
  30    |
  31 note: the late bound lifetime parameter is introduced here
  32   --> $DIR/const-arg-in-const-arg.rs:8:14
  33    |
  34 LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
  35    |              ^^
  36
  37 error: cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
  38   --> $DIR/const-arg-in-const-arg.rs:44:24
  39    |
  40 LL |     let _: Foo<{ faz::<'b>(&()) }>;
  41    |                        ^^
  42    |
  43 note: the late bound lifetime parameter is introduced here
  44   --> $DIR/const-arg-in-const-arg.rs:8:14
  45    |
  46 LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
  47    |              ^^
  48
  49 error: unconstrained generic constant
  50   --> $DIR/const-arg-in-const-arg.rs:13:12
  51    |
  52 LL |     let _: [u8; foo::<T>()];
  53    |            ^^^^^^^^^^^^^^^^
  54    |
  55    = help: try adding a `where` bound using this expression: `where [(); foo::<T>()]:`
  56
  57 error: unconstrained generic constant
  58   --> $DIR/const-arg-in-const-arg.rs:15:12
  59    |
  60 LL |     let _: [u8; bar::<N>()];
  61    |            ^^^^^^^^^^^^^^^^
  62    |
  63    = help: try adding a `where` bound using this expression: `where [(); bar::<N>()]:`
  64
  65 error: unconstrained generic constant
  66   --> $DIR/const-arg-in-const-arg.rs:36:12
  67    |
  68 LL |     let _: Foo<{ foo::<T>() }>;
  69    |            ^^^^^^^^^^^^^^^^^^^
  70    |
  71    = help: try adding a `where` bound using this expression: `where [(); { foo::<T>() }]:`
  72
  73 error: unconstrained generic constant
  74   --> $DIR/const-arg-in-const-arg.rs:38:12
  75    |
  76 LL |     let _: Foo<{ bar::<N>() }>;
  77    |            ^^^^^^^^^^^^^^^^^^^
  78    |
  79    = help: try adding a `where` bound using this expression: `where [(); { bar::<N>() }]:`
  80
  81 error: unconstrained generic constant
  82   --> $DIR/const-arg-in-const-arg.rs:25:17
  83    |
  84 LL |     let _ = [0; foo::<T>()];
  85    |                 ^^^^^^^^^^
  86    |
  87    = help: try adding a `where` bound using this expression: `where [(); foo::<T>()]:`
  88
  89 error: unconstrained generic constant
  90   --> $DIR/const-arg-in-const-arg.rs:27:17
  91    |
  92 LL |     let _ = [0; bar::<N>()];
  93    |                 ^^^^^^^^^^
  94    |
  95    = help: try adding a `where` bound using this expression: `where [(); bar::<N>()]:`
  96
  97 error: cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
  98   --> $DIR/const-arg-in-const-arg.rs:30:23
  99    |
 100 LL |     let _ = [0; faz::<'a>(&())];
 101    |                       ^^
 102    |
 103 note: the late bound lifetime parameter is introduced here
 104   --> $DIR/const-arg-in-const-arg.rs:8:14
 105    |
 106 LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
 107    |              ^^
 108
 109 error: cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
 110   --> $DIR/const-arg-in-const-arg.rs:33:23
 111    |
 112 LL |     let _ = [0; faz::<'b>(&())];
 113    |                       ^^
 114    |
 115 note: the late bound lifetime parameter is introduced here
 116   --> $DIR/const-arg-in-const-arg.rs:8:14
 117    |
 118 LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
 119    |              ^^
 120
 121 error: unconstrained generic constant
 122   --> $DIR/const-arg-in-const-arg.rs:47:19
 123    |
 124 LL |     let _ = Foo::<{ foo::<T>() }>;
 125    |                   ^^^^^^^^^^^^^^
 126    |
 127    = help: try adding a `where` bound using this expression: `where [(); { foo::<T>() }]:`
 128
 129 error: unconstrained generic constant
 130   --> $DIR/const-arg-in-const-arg.rs:49:19
 131    |
 132 LL |     let _ = Foo::<{ bar::<N>() }>;
 133    |                   ^^^^^^^^^^^^^^
 134    |
 135    = help: try adding a `where` bound using this expression: `where [(); { bar::<N>() }]:`
 136
 137 error: cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
 138   --> $DIR/const-arg-in-const-arg.rs:52:27
 139    |
 140 LL |     let _ = Foo::<{ faz::<'a>(&()) }>;
 141    |                           ^^
 142    |
 143 note: the late bound lifetime parameter is introduced here
 144   --> $DIR/const-arg-in-const-arg.rs:8:14
 145    |
 146 LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
 147    |              ^^
 148
 149 error: cannot specify lifetime arguments explicitly if late bound lifetime parameters are present
 150   --> $DIR/const-arg-in-const-arg.rs:55:27
 151    |
 152 LL |     let _ = Foo::<{ faz::<'b>(&()) }>;
 153    |                           ^^
 154    |
 155 note: the late bound lifetime parameter is introduced here
 156   --> $DIR/const-arg-in-const-arg.rs:8:14
 157    |
 158 LL | const fn faz<'a>(_: &'a ()) -> usize { 13 }
 159    |              ^^
 160
 161 error: aborting due to 16 previous errors
 162