rust/src/test/ui/issue-54943.rs

#![feature(nll)]
#![allow(warnings)]

fn foo<T: 'static>() { }

fn boo<'a>() {
    return;

    let x = foo::<&'a u32>();
    //~^ ERROR lifetime may not live long enough
}

fn main() {}
Stop well-formedness checking unreachable code. This commit stops well-formedness checking applying to unreachable code and therefore stops some of the ICEs that the intended solution taken by this PR causes. By disabling these checks, we can land the other fixes and larger refactors that this PR includes. 2018-12-18 21:27:22 +01:00			`#![feature(nll)]`
			`#![allow(warnings)]`

Add test for unreachable well-formedness. This commit adds a test for checking that types are well-formed when unreachable. 2018-11-23 11:55:09 +01:00			`fn foo<T: 'static>() { }`

Stop well-formedness checking unreachable code. This commit stops well-formedness checking applying to unreachable code and therefore stops some of the ICEs that the intended solution taken by this PR causes. By disabling these checks, we can land the other fixes and larger refactors that this PR includes. 2018-12-18 21:27:22 +01:00			`fn boo<'a>() {`
Add test for unreachable well-formedness. This commit adds a test for checking that types are well-formed when unreachable. 2018-11-23 11:55:09 +01:00			`return;`

			`let x = foo::<&'a u32>();`
Handle lifetime annotations in unreachable code We equate the type in the annotation with the inferred type first so that we have a fully inferred type to perform the well-formedness check on. 2019-01-12 14:55:23 +00:00			`//~^ ERROR lifetime may not live long enough`
Add test for unreachable well-formedness. This commit adds a test for checking that types are well-formed when unreachable. 2018-11-23 11:55:09 +01:00			`}`
Stop well-formedness checking unreachable code. This commit stops well-formedness checking applying to unreachable code and therefore stops some of the ICEs that the intended solution taken by this PR causes. By disabling these checks, we can land the other fixes and larger refactors that this PR includes. 2018-12-18 21:27:22 +01:00
			`fn main() {}`