mirror of https://github.com/rust-lang/rust
13 lines
398 B
Rust
13 lines
398 B
Rust
#![feature(type_alias_impl_trait)]
|
|
|
|
mod test_type_param_static {
|
|
type Ty<A> = impl Sized + 'static;
|
|
//~^ ERROR: the parameter type `A` may not live long enough
|
|
fn defining<A: 'static>(s: A) -> Ty<A> { s }
|
|
fn assert_static<A: 'static>() {}
|
|
fn test<A>() where Ty<A>: 'static { assert_static::<A>() }
|
|
//~^ ERROR: the parameter type `A` may not live long enough
|
|
}
|
|
|
|
fn main() {}
|