[rustc.git] / src / test / ui / lifetimes / copy_modulo_regions.stderr

error: lifetime may not live long enough
  --> $DIR/copy_modulo_regions.rs:12:5
   |
LL | fn foo<'a>() -> [Foo<'a>; 100] {
   |        -- lifetime `'a` defined here
LL |     [mk_foo::<'a>(); 100]
   |     ^^^^^^^^^^^^^^^^^^^^^ returning this value requires that `'a` must outlive `'static`
   |
   = note: requirement occurs because of the type `Foo<'_>`, which makes the generic argument `'_` invariant
   = note: the struct `Foo<'a>` is invariant over the parameter `'a`
   = help: see <https://doc.rust-lang.org/nomicon/subtyping.html> for more information about variance

error: aborting due to previous error
Commit	Line	Data
04454e1e	1	error: lifetime may not live long enough
923072b8	2	--> $DIR/copy_modulo_regions.rs:12:5
04454e1e FG	3	\|
	4	LL \| fn foo<'a>() -> [Foo<'a>; 100] {
	5	\| -- lifetime `'a` defined here
	6	LL \| [mk_foo::<'a>(); 100]
	7	\| ^^^^^^^^^^^^^^^^^^^^^ returning this value requires that `'a` must outlive `'static`
	8	\|
	9	= note: requirement occurs because of the type `Foo<'_>`, which makes the generic argument `'_` invariant
	10	= note: the struct `Foo<'a>` is invariant over the parameter `'a`
	11	= help: see <https://doc.rust-lang.org/nomicon/subtyping.html> for more information about variance
	12
	13	error: aborting due to previous error
	14