AssociatedTypeのTrait指定にしたことによる挙動の変化

[niuez]

• traitとimplのcheck_equal時に::Outputがたくさんあって見つからないかも
  • いまチェックしているトレイトのプライオリティを最大に引き上げればよさそう
  • → 下の例の場合に使えない 違う方法を考える

struct Hoge {} {}

trait Tr1 {
  type TrAsso;
  fn tr1() -> Self::TrAsso;
}

trait Tr2 {
  type TrAsso;
  fn tr2() -> Self::TrAsso;
}

impl Tr1 for Hoge {
  type TrAsso = u64;
  fn tr1() -> u64 { 0 }
}

impl Tr2 for Hoge {
  type TrAsso = i64;
  fn tr2() -> i64 { 1i64 }
}