]> git.proxmox.com Git - rustc.git/blame - src/test/compile-fail/wf-method-late-bound-regions.rs
New upstream version 1.13.0+dfsg1
[rustc.git] / src / test / compile-fail / wf-method-late-bound-regions.rs
CommitLineData
b039eaaf
SL
1// Copyright 2015 The Rust Project Developers. See the COPYRIGHT
2// file at the top-level directory of this distribution and at
3// http://rust-lang.org/COPYRIGHT.
4//
5// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8// option. This file may not be copied, modified, or distributed
9// except according to those terms.
10
11// A method's receiver must be well-formed, even if it has late-bound regions.
12// Because of this, a method's substs being well-formed does not imply that
13// the method's implied bounds are met.
14
15struct Foo<'b>(Option<&'b ()>);
16
17trait Bar<'b> {
18 fn xmute<'a>(&'a self, u: &'b u32) -> &'a u32;
19}
20
21impl<'b> Bar<'b> for Foo<'b> {
22 fn xmute<'a>(&'a self, u: &'b u32) -> &'a u32 { u }
23}
24
25fn main() {
26 let f = Foo(None);
27 let f2 = f;
28 let dangling = {
29 let pointer = Box::new(42);
30 f2.xmute(&pointer) //~ ERROR `pointer` does not live long enough
31 };
32 println!("{}", dangling);
33}