rust/tests/ui/variance/variance-regions-unused-direct.rs

// Test that disallow lifetime parameters that are unused.

use std::marker;

struct Bivariant<'a>; //~ ERROR parameter `'a` is never used

struct Struct<'a, 'd> { //~ ERROR parameter `'d` is never used
    field: &'a [i32]
}

trait Trait<'a, 'd> { // OK on traits
    fn method(&'a self);
}

fn main() {}
Introduce the new phantomdata/phantomfn markers and integrate them into variance inference; fix various bugs in variance inference so that it considers the correct set of constraints; modify infer to consider the results of variance inference for type arguments. 2015-02-12 10:16:02 +00:00			`// Test that disallow lifetime parameters that are unused.`

			`use std::marker;`

			struct Bivariant<'a>; //~ ERROR parameter `'a` is never used

			struct Struct<'a, 'd> { //~ ERROR parameter `'d` is never used
			`field: &'a [i32]`
			`}`

Fallout in tests 2015-03-31 23:58:01 +00:00			`trait Trait<'a, 'd> { // OK on traits`
Introduce the new phantomdata/phantomfn markers and integrate them into variance inference; fix various bugs in variance inference so that it considers the correct set of constraints; modify infer to consider the results of variance inference for type arguments. 2015-02-12 10:16:02 +00:00			`fn method(&'a self);`
			`}`

			`fn main() {}`