Hittable for B {
| ^ unconstrained type parameter
чёт не очень понимаю, казалось бы, вон же оно, ограничено через B, ан нет. И как это обойти?
У тебя может быть конкретный тип B, который имплементит AsRef<A> и AsRef<B>, причем и A и B имплементят Hittable, в таком случае будет непонятно какую выбирать имплементацию. "Обходится" это заменой AsRef на какой-нибудь другой трейт, который вместо генерика будет иметь associative type.
Обсуждают сегодня