1 #![feature(type_alias_impl_trait)]
2 #![cfg_attr(specialized, feature(specialization))]
3 #![allow(incomplete_features)]
5 // revisions: stock specialized
6 // [specialized]check-pass
9 impl<T> OpaqueTrait for T {}
10 type OpaqueType = impl OpaqueTrait;
11 fn mk_opaque() -> OpaqueType {
15 impl<T: Send> AnotherTrait for T {}
16 impl AnotherTrait for OpaqueType {}
17 //[stock]~^ conflicting implementations of trait `AnotherTrait` for type `OpaqueType`