// Test that structs with higher-ranked where clauses don't generate
// "outlives" requirements. Issue #22246.
-// revisions: ast mir
-//[mir]compile-flags: -Z borrowck=mir
+// revisions: migrate nll
+//[nll]compile-flags: -Z borrowck=mir
#![allow(dead_code)]
// We get an error because 'b:'a does not hold:
let _: &'a WithHrAssoc<TheType<'b>> = loop { };
- //[ast]~^ ERROR reference has a longer lifetime
- //[mir]~^^ ERROR lifetime may not live long enough
+ //[migrate]~^ ERROR reference has a longer lifetime
+ //[nll]~^^ ERROR lifetime may not live long enough
}
///////////////////////////////////////////////////////////////////////////
// below to be well-formed, it is not related to the HR relation.
let _: &'a WithHrAssocSub<TheType<'b>> = loop { };
- //[ast]~^ ERROR reference has a longer lifetime
- //[mir]~^^ ERROR lifetime may not live long enough
+ //[migrate]~^ ERROR reference has a longer lifetime
+ //[nll]~^^ ERROR lifetime may not live long enough
}