// revisions: rpass1

// Regression test that `infer_outlives_predicates` can be
// used with incremental without an ICE.

struct Foo<'a, T> {
  x: &'a T
}

fn main() { }