rust/tests/ui/compare-method/region-extra-2.rs

// Regression test for issue #22779. An extra where clause was
// permitted on the impl that is not present on the trait.

trait Tr<'a, T> {
    fn renew<'b: 'a>(self) -> &'b mut [T];
}

impl<'a, T> Tr<'a, T> for &'a mut [T] {
    fn renew<'b: 'a>(self) -> &'b mut [T] where 'a: 'b {
        //~^ ERROR E0276
        &mut self[..]
    }
}

fn main() { }
Rather than storing the relations between free-regions in a global table, introduce a `FreeRegionMap` data structure. regionck computes the `FreeRegionMap` for each fn and stores the result into the tcx so that borrowck can use it (this could perhaps be refactored to have borrowck recompute the map, but it's a bid tedious to recompute due to the interaction of closures and free fns). The main reason to do this is because of #22779 -- using a global table was incorrect because when validating impl method signatures, we want to use the free region relationships from the trait, not the impl. Fixes #22779. 2015-04-18 10:23:14 -05:00			`// Regression test for issue #22779. An extra where clause was`
			`// permitted on the impl that is not present on the trait.`

			`trait Tr<'a, T> {`
			`fn renew<'b: 'a>(self) -> &'b mut [T];`
			`}`

			`impl<'a, T> Tr<'a, T> for &'a mut [T] {`
			`fn renew<'b: 'a>(self) -> &'b mut [T] where 'a: 'b {`
update test error messages We've got a new revised message for E0273; just drop back to the error code, since the ui tests check for the full appearance now. 2016-10-14 09:10:22 -05:00			`//~^ ERROR E0276`
Rather than storing the relations between free-regions in a global table, introduce a `FreeRegionMap` data structure. regionck computes the `FreeRegionMap` for each fn and stores the result into the tcx so that borrowck can use it (this could perhaps be refactored to have borrowck recompute the map, but it's a bid tedious to recompute due to the interaction of closures and free fns). The main reason to do this is because of #22779 -- using a global table was incorrect because when validating impl method signatures, we want to use the free region relationships from the trait, not the impl. Fixes #22779. 2015-04-18 10:23:14 -05:00			`&mut self[..]`
			`}`
			`}`

			`fn main() { }`