2024-01-04 05:56:10 +08:00
|
|
|
// https://github.com/rust-lang/rust/issues/51236
|
|
|
|
#![crate_name="foo"]
|
|
|
|
|
2018-08-03 01:59:16 +08:00
|
|
|
use std::marker::PhantomData;
|
|
|
|
|
|
|
|
pub mod traits {
|
|
|
|
pub trait Owned<'a> {
|
|
|
|
type Reader;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-06-21 20:03:08 +08:00
|
|
|
//@ has foo/struct.Owned.html
|
|
|
|
//@ has - '//*[@id="synthetic-implementations-list"]//*[@class="impl"]//h3[@class="code-header"]' \
|
2022-08-31 23:05:46 +08:00
|
|
|
// "impl<T> Send for Owned<T>where <T as Owned<'static>>::Reader: Send"
|
2018-08-03 01:59:16 +08:00
|
|
|
pub struct Owned<T> where T: for<'a> ::traits::Owned<'a> {
|
|
|
|
marker: PhantomData<<T as ::traits::Owned<'static>>::Reader>,
|
|
|
|
}
|