Fix the regression test for issue 50716.

This commit is contained in:
Vytautas Astrauskas 2018-05-29 09:13:49 +02:00
parent 612eeb1df7
commit 8b1ea84265

View file

@ -11,6 +11,8 @@
// Regression test for the issue #50716: NLL ignores lifetimes bounds
// derived from `Sized` requirements
#![feature(nll)]
trait A {
type X: ?Sized;
}
@ -20,7 +22,7 @@ where
for<'b> &'b T: A,
<&'static T as A>::X: Sized
{
let _x = *s; //~ ERROR mismatched types [E0308]
let _x = *s; //~ ERROR free region `'a` does not outlive free region `'static`
}
fn main() {}