tests/ui/type-alias-impl-trait/issue-104817.rs

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