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