src/test/run-pass/associated-types-conditional-dispatch.rs

   1 // Copyright 2014 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 // Test that we evaluate projection predicates to winnow out
  12 // candidates during trait selection and method resolution (#20296).
  13 // If we don't properly winnow out candidates based on the output type
  14 // `Target=[A]`, then the impl marked with `(*)` is seen to conflict
  15 // with all the others.
  16
  17 #![feature(default_type_params)]
  18
  19 use std::ops::Deref;
  20
  21 pub trait MyEq<Sized? U=Self> for Sized? {
  22     fn eq(&self, u: &U) -> bool;
  23 }
  24
  25 impl<A, B> MyEq<[B]> for [A]
  26     where A : MyEq<B>
  27 {
  28     fn eq(&self, other: &[B]) -> bool {
  29         self.len() == other.len() &&
  30             self.iter().zip(other.iter())
  31                        .all(|(a, b)| MyEq::eq(a, b))
  32     }
  33 }
  34
  35 // (*) This impl conflicts with everything unless the `Target=[A]`
  36 // constraint is considered.
  37 impl<'a, A, B, Lhs> MyEq<[B; 0]> for Lhs
  38     where A: MyEq<B>, Lhs: Deref<Target=[A]>
  39 {
  40     fn eq(&self, other: &[B; 0]) -> bool {
  41         MyEq::eq(&**self, other.as_slice())
  42     }
  43 }
  44
  45 struct DerefWithHelper<H, T> {
  46     pub helper: H
  47 }
  48
  49 trait Helper<T> {
  50     fn helper_borrow(&self) -> &T;
  51 }
  52
  53 impl<T> Helper<T> for Option<T> {
  54     fn helper_borrow(&self) -> &T {
  55         self.as_ref().unwrap()
  56     }
  57 }
  58
  59 impl<T, H: Helper<T>> Deref for DerefWithHelper<H, T> {
  60     type Target = T;
  61
  62     fn deref(&self) -> &T {
  63         self.helper.helper_borrow()
  64     }
  65 }
  66
  67 pub fn check<T: MyEq>(x: T, y: T) -> bool {
  68     let d: DerefWithHelper<Option<T>, T> = DerefWithHelper { helper: Some(x) };
  69     d.eq(&y)
  70 }
  71
  72 pub fn main() {
  73 }