1 // Regression test for #29859, initial version. This example allowed
2 // arbitrary trait bounds to be synthesized.
4 // Trait that you want all types to implement.
5 use std::marker::{Sync as Trait};
10 impl<T: Magic> Magic for T {
15 fn check<T: Trait>() {}
17 fn wizard<T: Magic>() { check::<<T as Magic>::X>(); }
20 wizard::<*mut ()>(); //~ ERROR E0275
21 // check::<*mut ()>();