Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
23 lines (16 sloc) 399 Bytes
// build-pass (FIXME(62277): could be check-pass?)
#![allow(dead_code)]
// Test that the requirement (in `Bar`) that `T::Bar : 'static` does
// not wind up propagating to `T`.
// pretty-expanded FIXME #23616
pub trait Foo {
type Bar;
fn foo(&self) -> Self;
}
pub struct Static<T:'static>(T);
struct Bar<T:Foo>
where T::Bar : 'static
{
x: Static<Option<T::Bar>>
}
fn main() { }
You can’t perform that action at this time.