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

   1 note: no external requirements
   2   --> $DIR/projection-one-region-trait-bound-static-closure.rs:36:29
   3    |
   4 LL |     with_signature(cell, t, |cell, t| require(cell, t));
   5    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
   6    |
   7    = note: defining type: no_relationships_late::<'_#1r, T>::{{closure}}#0 with closure substs [
   8                i32,
   9                extern "rust-call" fn((std::cell::Cell<&'_#2r ()>, T)),
  10                (),
  11            ]
  12    = note: late-bound region is '_#3r
  13
  14 note: no external requirements
  15   --> $DIR/projection-one-region-trait-bound-static-closure.rs:32:1
  16    |
  17 LL | / fn no_relationships_late<'a, 'b, T>(cell: Cell<&'a ()>, t: T)
  18 LL | | where
  19 LL | |     T: Anything<'b>,
  20 LL | | {
  21 LL | |     with_signature(cell, t, |cell, t| require(cell, t));
  22 LL | | }
  23    | |_^
  24    |
  25    = note: defining type: no_relationships_late::<'_#1r, T>
  26
  27 note: no external requirements
  28   --> $DIR/projection-one-region-trait-bound-static-closure.rs:45:29
  29    |
  30 LL |     with_signature(cell, t, |cell, t| require(cell, t));
  31    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
  32    |
  33    = note: defining type: no_relationships_early::<'_#1r, '_#2r, T>::{{closure}}#0 with closure substs [
  34                i32,
  35                extern "rust-call" fn((std::cell::Cell<&'_#3r ()>, T)),
  36                (),
  37            ]
  38
  39 note: no external requirements
  40   --> $DIR/projection-one-region-trait-bound-static-closure.rs:40:1
  41    |
  42 LL | / fn no_relationships_early<'a, 'b, T>(cell: Cell<&'a ()>, t: T)
  43 LL | | where
  44 LL | |     T: Anything<'b>,
  45 LL | |     'a: 'a,
  46 LL | | {
  47 LL | |     with_signature(cell, t, |cell, t| require(cell, t));
  48 LL | | }
  49    | |_^
  50    |
  51    = note: defining type: no_relationships_early::<'_#1r, '_#2r, T>
  52
  53 note: no external requirements
  54   --> $DIR/projection-one-region-trait-bound-static-closure.rs:64:29
  55    |
  56 LL |     with_signature(cell, t, |cell, t| require(cell, t));
  57    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
  58    |
  59    = note: defining type: projection_outlives::<'_#1r, '_#2r, T>::{{closure}}#0 with closure substs [
  60                i32,
  61                extern "rust-call" fn((std::cell::Cell<&'_#3r ()>, T)),
  62                (),
  63            ]
  64
  65 note: no external requirements
  66   --> $DIR/projection-one-region-trait-bound-static-closure.rs:49:1
  67    |
  68 LL | / fn projection_outlives<'a, 'b, T>(cell: Cell<&'a ()>, t: T)
  69 LL | | where
  70 LL | |     T: Anything<'b>,
  71 LL | |     T::AssocType: 'a,
  72 ...  |
  73 LL | |     with_signature(cell, t, |cell, t| require(cell, t));
  74 LL | | }
  75    | |_^
  76    |
  77    = note: defining type: projection_outlives::<'_#1r, '_#2r, T>
  78
  79 note: no external requirements
  80   --> $DIR/projection-one-region-trait-bound-static-closure.rs:73:29
  81    |
  82 LL |     with_signature(cell, t, |cell, t| require(cell, t));
  83    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
  84    |
  85    = note: defining type: elements_outlive::<'_#1r, '_#2r, T>::{{closure}}#0 with closure substs [
  86                i32,
  87                extern "rust-call" fn((std::cell::Cell<&'_#3r ()>, T)),
  88                (),
  89            ]
  90
  91 note: no external requirements
  92   --> $DIR/projection-one-region-trait-bound-static-closure.rs:68:1
  93    |
  94 LL | / fn elements_outlive<'a, 'b, T>(cell: Cell<&'a ()>, t: T)
  95 LL | | where
  96 LL | |     T: Anything<'b>,
  97 LL | |     'b: 'a,
  98 LL | | {
  99 LL | |     with_signature(cell, t, |cell, t| require(cell, t));
 100 LL | | }
 101    | |_^
 102    |
 103    = note: defining type: elements_outlive::<'_#1r, '_#2r, T>
 104
 105 note: no external requirements
 106   --> $DIR/projection-one-region-trait-bound-static-closure.rs:85:29
 107    |
 108 LL |     with_signature(cell, t, |cell, t| require(cell, t));
 109    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
 110    |
 111    = note: defining type: one_region::<'_#1r, T>::{{closure}}#0 with closure substs [
 112                i32,
 113                extern "rust-call" fn((std::cell::Cell<&'_#2r ()>, T)),
 114                (),
 115            ]
 116
 117 note: no external requirements
 118   --> $DIR/projection-one-region-trait-bound-static-closure.rs:77:1
 119    |
 120 LL | / fn one_region<'a, T>(cell: Cell<&'a ()>, t: T)
 121 LL | | where
 122 LL | |     T: Anything<'a>,
 123 LL | | {
 124 ...  |
 125 LL | |     with_signature(cell, t, |cell, t| require(cell, t));
 126 LL | | }
 127    | |_^
 128    |
 129    = note: defining type: one_region::<'_#1r, T>
 130