3 #![feature(underscore_const_names)]
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);
24 const _ : Str = Str{};
26 check_impl!(Str, Trt);
27 check_impl!(Str, Trt);
30 check_impl!(Str, Trt);
31 check_impl!(Str, Trt);