dyn-trait-a.rs

// Copyright 2015 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.

// ignore-test
// compile-pass

#![feature(infer_outlives_requirements)]

trait Trait<'x, T> where T: 'x {
}

// should infer that `A: 'a`
struct Foo<'a, A> {
    foo: Box<dyn Trait<'a, A>>
}

fn main() {}

explicit-pred-a.rs

// Copyright 2015 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.

// ignore-test
// compile-pass

#![feature(infer_outlives_requirements)]

trait Trait<'x, T> where T: 'x {
    type Type;
}

// should infer that `B: 'a`
struct Foo<'a, A, B> {
    foo: <A as Trait<'a, B>>::Type
}

fn main() {}

explicit-pred-b.rs

// Copyright 2015 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.

// ignore-test
// compile-pass

#![feature(infer_outlives_requirements)]

trait Trait<'x, T> where Self: 'x {
    type Type;
}

// should infer that `A: 'a`
struct Foo<'a, A, B> {
    foo: <A as Trait<'a, B>>::Type
}

fn main() {}