1 // build-pass (FIXME(62277): could be check-pass?)
9 macro_rules! check_impl {
10 ($struct:ident,$trait:ident) => {
12 use std::marker::PhantomData;
13 struct ImplementsTrait<T: $trait>(PhantomData<T>);
14 let _ = ImplementsTrait::<$struct>(PhantomData);
23 const _ : Str = Str{};
25 check_impl!(Str, Trt);
26 check_impl!(Str, Trt);
29 check_impl!(Str, Trt);
30 check_impl!(Str, Trt);