src/test/ui/nll/ty-outlives/projection-one-region-trait-bound-closure.stderr

   1 note: External requirements
   2   --> $DIR/projection-one-region-trait-bound-closure.rs:47:29
   3    |
   4 LL |     with_signature(cell, t, |cell, t| require(cell, t));
   5    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
   6    |
   7    = note: defining type: DefId(0/1:19 ~ projection_one_region_trait_bound_closure[317d]::no_relationships_late[0]::{{closure}}[0]) with closure substs [
   8                '_#1r,
   9                T,
  10                i32,
  11                extern "rust-call" fn((std::cell::Cell<&'_#2r ()>, T))
  12            ]
  13    = note: late-bound region is '_#3r
  14    = note: number of external vids: 4
  15    = note: where '_#1r: '_#2r
  16
  17 note: No external requirements
  18   --> $DIR/projection-one-region-trait-bound-closure.rs:43:1
  19    |
  20 LL | / fn no_relationships_late<'a, 'b, T>(cell: Cell<&'a ()>, t: T)
  21 LL | | where
  22 LL | |     T: Anything<'b>,
  23 LL | | {
  24 LL | |     with_signature(cell, t, |cell, t| require(cell, t));
  25 LL | |     //~^ ERROR
  26 LL | | }
  27    | |_^
  28    |
  29    = note: defining type: DefId(0/0:8 ~ projection_one_region_trait_bound_closure[317d]::no_relationships_late[0]) with substs [
  30                '_#1r,
  31                T
  32            ]
  33
  34 error: unsatisfied lifetime constraints
  35   --> $DIR/projection-one-region-trait-bound-closure.rs:47:39
  36    |
  37 LL | fn no_relationships_late<'a, 'b, T>(cell: Cell<&'a ()>, t: T)
  38    |                          --  -- lifetime `'b` defined here
  39    |                          |
  40    |                          lifetime `'a` defined here
  41 ...
  42 LL |     with_signature(cell, t, |cell, t| require(cell, t));
  43    |                                       ^^^^^^^^^^^^^^^^ argument requires that `'b` must outlive `'a`
  44
  45 note: External requirements
  46   --> $DIR/projection-one-region-trait-bound-closure.rs:57:29
  47    |
  48 LL |     with_signature(cell, t, |cell, t| require(cell, t));
  49    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
  50    |
  51    = note: defining type: DefId(0/1:23 ~ projection_one_region_trait_bound_closure[317d]::no_relationships_early[0]::{{closure}}[0]) with closure substs [
  52                '_#1r,
  53                '_#2r,
  54                T,
  55                i32,
  56                extern "rust-call" fn((std::cell::Cell<&'_#3r ()>, T))
  57            ]
  58    = note: number of external vids: 4
  59    = note: where '_#2r: '_#3r
  60
  61 note: No external requirements
  62   --> $DIR/projection-one-region-trait-bound-closure.rs:52:1
  63    |
  64 LL | / fn no_relationships_early<'a, 'b, T>(cell: Cell<&'a ()>, t: T)
  65 LL | | where
  66 LL | |     T: Anything<'b>,
  67 LL | |     'a: 'a,
  68 ...  |
  69 LL | |     //~^ ERROR
  70 LL | | }
  71    | |_^
  72    |
  73    = note: defining type: DefId(0/0:9 ~ projection_one_region_trait_bound_closure[317d]::no_relationships_early[0]) with substs [
  74                '_#1r,
  75                '_#2r,
  76                T
  77            ]
  78
  79 error: unsatisfied lifetime constraints
  80   --> $DIR/projection-one-region-trait-bound-closure.rs:57:39
  81    |
  82 LL | fn no_relationships_early<'a, 'b, T>(cell: Cell<&'a ()>, t: T)
  83    |                           --  -- lifetime `'b` defined here
  84    |                           |
  85    |                           lifetime `'a` defined here
  86 ...
  87 LL |     with_signature(cell, t, |cell, t| require(cell, t));
  88    |                                       ^^^^^^^^^^^^^^^^ argument requires that `'b` must outlive `'a`
  89
  90 note: External requirements
  91   --> $DIR/projection-one-region-trait-bound-closure.rs:70:29
  92    |
  93 LL |     with_signature(cell, t, |cell, t| require(cell, t));
  94    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
  95    |
  96    = note: defining type: DefId(0/1:27 ~ projection_one_region_trait_bound_closure[317d]::projection_outlives[0]::{{closure}}[0]) with closure substs [
  97                '_#1r,
  98                '_#2r,
  99                T,
 100                i32,
 101                extern "rust-call" fn((std::cell::Cell<&'_#3r ()>, T))
 102            ]
 103    = note: number of external vids: 4
 104    = note: where <T as Anything<ReClosureBound('_#2r)>>::AssocType: '_#3r
 105
 106 note: No external requirements
 107   --> $DIR/projection-one-region-trait-bound-closure.rs:62:1
 108    |
 109 LL | / fn projection_outlives<'a, 'b, T>(cell: Cell<&'a ()>, t: T)
 110 LL | | where
 111 LL | |     T: Anything<'b>,
 112 LL | |     T::AssocType: 'a,
 113 ...  |
 114 LL | |     with_signature(cell, t, |cell, t| require(cell, t));
 115 LL | | }
 116    | |_^
 117    |
 118    = note: defining type: DefId(0/0:10 ~ projection_one_region_trait_bound_closure[317d]::projection_outlives[0]) with substs [
 119                '_#1r,
 120                '_#2r,
 121                T
 122            ]
 123
 124 note: External requirements
 125   --> $DIR/projection-one-region-trait-bound-closure.rs:79:29
 126    |
 127 LL |     with_signature(cell, t, |cell, t| require(cell, t));
 128    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
 129    |
 130    = note: defining type: DefId(0/1:31 ~ projection_one_region_trait_bound_closure[317d]::elements_outlive[0]::{{closure}}[0]) with closure substs [
 131                '_#1r,
 132                '_#2r,
 133                T,
 134                i32,
 135                extern "rust-call" fn((std::cell::Cell<&'_#3r ()>, T))
 136            ]
 137    = note: number of external vids: 4
 138    = note: where '_#2r: '_#3r
 139
 140 note: No external requirements
 141   --> $DIR/projection-one-region-trait-bound-closure.rs:74:1
 142    |
 143 LL | / fn elements_outlive<'a, 'b, T>(cell: Cell<&'a ()>, t: T)
 144 LL | | where
 145 LL | |     T: Anything<'b>,
 146 LL | |     'b: 'a,
 147 LL | | {
 148 LL | |     with_signature(cell, t, |cell, t| require(cell, t));
 149 LL | | }
 150    | |_^
 151    |
 152    = note: defining type: DefId(0/0:11 ~ projection_one_region_trait_bound_closure[317d]::elements_outlive[0]) with substs [
 153                '_#1r,
 154                '_#2r,
 155                T
 156            ]
 157
 158 note: External requirements
 159   --> $DIR/projection-one-region-trait-bound-closure.rs:91:29
 160    |
 161 LL |     with_signature(cell, t, |cell, t| require(cell, t));
 162    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
 163    |
 164    = note: defining type: DefId(0/1:34 ~ projection_one_region_trait_bound_closure[317d]::one_region[0]::{{closure}}[0]) with closure substs [
 165                '_#1r,
 166                T,
 167                i32,
 168                extern "rust-call" fn((std::cell::Cell<&'_#2r ()>, T))
 169            ]
 170    = note: number of external vids: 3
 171    = note: where '_#1r: '_#2r
 172
 173 note: No external requirements
 174   --> $DIR/projection-one-region-trait-bound-closure.rs:83:1
 175    |
 176 LL | / fn one_region<'a, T>(cell: Cell<&'a ()>, t: T)
 177 LL | | where
 178 LL | |     T: Anything<'a>,
 179 LL | | {
 180 ...  |
 181 LL | |     with_signature(cell, t, |cell, t| require(cell, t));
 182 LL | | }
 183    | |_^
 184    |
 185    = note: defining type: DefId(0/0:12 ~ projection_one_region_trait_bound_closure[317d]::one_region[0]) with substs [
 186                '_#1r,
 187                T
 188            ]
 189
 190 error: aborting due to 2 previous errors
 191