Lines Matching refs:AmbiguousIfImpl
267 trait AmbiguousIfImpl<A> {
272 impl<T: ?Sized> AmbiguousIfImpl<()> for T {}
279 impl<T: ?Sized $(+ $t)+> AmbiguousIfImpl<Invalid> for T {}
283 // `$x` implements `AmbiguousIfImpl<Invalid>`.
284 let _ = <$x as AmbiguousIfImpl<_>>::some_item;
333 trait AmbiguousIfImpl<A> {
338 impl<T: ?Sized> AmbiguousIfImpl<()> for T {}
341 // which a specialized `AmbiguousIfImpl<Invalid>` is implemented for
347 impl<T: ?Sized + $t> AmbiguousIfImpl<Invalid> for T {}
352 // `$x` implements any `AmbiguousIfImpl<Invalid>`.
353 let _ = <$x as AmbiguousIfImpl<_>>::some_item;