rust/tests/ui/regions/regions-infer-borrow-scope-within-loop-ok.rs

//@ run-pass

fn borrow<T>(x: &T) -> &T {x}

pub fn main() {
    let x: Box<_> = Box::new(3);
    loop {
        let y = borrow(&*x);
        assert_eq!(*x, *y);
        break;
    }
}
Add `// run-pass` annotations to all the tests under `ui/run-pass/`. (I may have accidentally added it to some auxilliary crates as well; my emacs-macro-based methodology was pretty crude.) 2018-08-30 12:18:55 +00:00			`//@ run-pass`
fallout: run-pass tests that use box. (many could be ported to `Box::new` instead in the future.) 2015-01-08 01:25:56 +00:00
librustc: Implement lifetime elision. This implements RFC 39. Omitted lifetimes in return values will now be inferred to more useful defaults, and an error is reported if a lifetime in a return type is omitted and one of the two lifetime elision rules does not specify what it should be. This primarily breaks two uncommon code patterns. The first is this: unsafe fn get_foo_out_of_thin_air() -> &Foo { ... } This should be changed to: unsafe fn get_foo_out_of_thin_air() -> &'static Foo { ... } The second pattern that needs to be changed is this: enum MaybeBorrowed<'a> { Borrowed(&'a str), Owned(String), } fn foo() -> MaybeBorrowed { Owned(format!("hello world")) } Change code like this to: enum MaybeBorrowed<'a> { Borrowed(&'a str), Owned(String), } fn foo() -> MaybeBorrowed<'static> { Owned(format!("hello world")) } Closes #15552. [breaking-change] 2014-07-18 04:44:59 +00:00			`fn borrow<T>(x: &T) -> &T {x}`
infer the scope of borrows 2012-07-06 16:14:57 +00:00
check-fast fallout from removing export, r=burningtree 2013-02-02 03:43:17 +00:00			`pub fn main() {`
Remove box syntax from most places in src/test outside of the issues dir 2021-08-25 00:39:40 +00:00			`let x: Box<_> = Box::new(3);`
infer the scope of borrows 2012-07-06 16:14:57 +00:00			`loop {`
librustc: Remove cross-borrowing of `Box<T>` to `&T` from the language, except where trait objects are involved. Part of issue #15349, though I'm leaving it open for trait objects. Cross borrowing for trait objects remains because it is needed until we have DST. This will break code like: fn foo(x: &int) { ... } let a = box 3i; foo(a); Change this code to: fn foo(x: &int) { ... } let a = box 3i; foo(&*a); [breaking-change] 2014-07-07 23:35:15 +00:00			`let y = borrow(&*x);`
Use assert_eq! rather than assert! where possible 2013-05-19 02:02:45 +00:00			`assert_eq!(x, y);`
add gitattributes and fix whitespace issues 2013-05-03 23:25:04 +00:00			`break;`
infer the scope of borrows 2012-07-06 16:14:57 +00:00			`}`
			`}`