src/test/ui/hrtb/hrtb-exists-forall-trait-invariant.rs

   1 // revisions: base nll
   2 // ignore-compare-mode-nll
   3 //[nll] compile-flags: -Z borrowck=mir
   4
   5 // Test an `exists<'a> { forall<'b> { 'a = 'b } }` pattern -- which should not compile!
   6 //
   7 // In particular, we test this pattern in trait solving, where it is not connected
   8 // to any part of the source code.
   9
  10 use std::cell::Cell;
  11
  12 trait Trait<T> {}
  13
  14 fn foo<T>()
  15 where
  16     T: Trait<for<'b> fn(Cell<&'b u32>)>,
  17 {
  18 }
  19
  20 impl<'a> Trait<fn(Cell<&'a u32>)> for () {}
  21
  22 fn main() {
  23     // Here, proving that `(): Trait<for<'b> fn(&'b u32)>` uses the impl:
  24     //
  25     // - The impl provides the clause `forall<'a> { (): Trait<fn(&'a u32)> }`
  26     // - We instantiate `'a` existentially to get `(): Trait<fn(&?a u32)>`
  27     // - We unify `fn(&?a u32)` with `for<'b> fn(&'b u32)`
  28     //   - This requires (among other things) instantiating `'b` universally,
  29     //     yielding `fn(&!b u32)`, in a fresh universe U1
  30     //   - So we get `?a = !b` but the universe U0 assigned to `?a` cannot name `!b`.
  31
  32     foo::<()>(); //~ ERROR implementation of `Trait` is not general enough
  33 }