rust/tests/ui/regions/regions-close-object-into-object-3.rs

#![allow(warnings)]

trait A<T> { }

struct B<'a, T:'a>(&'a (A<T>+'a));

trait X { }
impl<'a, T> X for B<'a, T> {}

fn h<'a, T, U:'static>(v: Box<A<U>+'static>) -> Box<X+'static> {
    Box::new(B(&*v)) as Box<X> //~ ERROR cannot return value referencing local data `*v`
}

fn main() {}
Implement the rules for RFC 599, and add various tests. Fixes #22211. 2015-02-12 14:37:52 +00:00			`#![allow(warnings)]`
librustc: Remove `~EXPR`, `~TYPE`, and `~PAT` from the language, except for `~str`/`~[]`. Note that `~self` still remains, since I forgot to add support for `Box<self>` before the snapshot. How to update your code: * Instead of `~EXPR`, you should write `box EXPR`. * Instead of `~TYPE`, you should write `Box<Type>`. * Instead of `~PATTERN`, you should write `box PATTERN`. [breaking-change] 2014-05-06 01:56:44 +00:00
Fallout in tests 2015-03-31 23:58:01 +00:00			`trait A<T> { }`
Remove box syntax from most places in src/test outside of the issues dir 2021-08-25 00:39:40 +00:00
Fallout in tests --- misc error message changes, WF fixes 2015-08-07 17:23:11 +00:00			`struct B<'a, T:'a>(&'a (A<T>+'a));`
rustc: Explicitly mention type params with missing `'static` bounds Also renames `check_durable` to `check_static` and removes the outdated comment. 2014-02-26 17:09:15 +00:00
Fallout in tests 2015-03-31 23:58:01 +00:00			`trait X { }`
rustc: Explicitly mention type params with missing `'static` bounds Also renames `check_durable` to `check_static` and removes the outdated comment. 2014-02-26 17:09:15 +00:00			`impl<'a, T> X for B<'a, T> {}`

Fallout in tests 2015-03-31 23:58:01 +00:00			`fn h<'a, T, U:'static>(v: Box<A<U>+'static>) -> Box<X+'static> {`
Remove box syntax from most places in src/test outside of the issues dir 2021-08-25 00:39:40 +00:00			Box::new(B(&v)) as Box<X> //~ ERROR cannot return value referencing local data `v`
rustc: Explicitly mention type params with missing `'static` bounds Also renames `check_durable` to `check_static` and removes the outdated comment. 2014-02-26 17:09:15 +00:00			`}`

			`fn main() {}`