4 #![feature(underscore_const_names)]
10 macro_rules! check_impl {
11 ($struct:ident,$trait:ident) => {
13 use std::marker::PhantomData;
14 struct ImplementsTrait<T: $trait>(PhantomData<T>);
15 let _ = ImplementsTrait::<$struct>(PhantomData);
25 const _ : Str = Str{};
27 check_impl!(Str, Trt);
28 check_impl!(Str, Trt);
31 check_impl!(Str, Trt);
32 check_impl!(Str, Trt);