src/test/ui/nll/empty-type-predicate-2.rs

   1 // Regression test for #65553
   2 //
   3 // `D::Error:` is lowered to `D::Error: ReEmpty` - check that we don't ICE in
   4 // NLL for the unexpected region.
   5
   6 // check-pass
   7
   8 trait Deserializer {
   9     type Error;
  10 }
  11
  12 fn d1<D: Deserializer>() where D::Error: {}
  13
  14 fn d2<D: Deserializer>() {
  15     d1::<D>();
  16 }
  17
  18 fn main() {}