1 // aux-build:rbmtp_cross_crate_lib.rs
3 // Check explicit region bounds on methods in the cross crate case.
5 extern crate rbmtp_cross_crate_lib as lib;
9 use lib::IntoMaybeOwned;
11 fn call_into_maybe_owned<'x,F:IntoMaybeOwned<'x>>(f: F) {
12 // Exercise a code path I found to be buggy. We were not encoding
13 // the region parameters from the receiver correctly on trait
18 fn call_bigger_region<'x, 'y>(a: Inv<'x>, b: Inv<'y>) {
19 // Here the value provided for 'y is 'y, and hence 'y:'x does not hold.
21 //~^ ERROR lifetime may not live long enough