E0118 probably shouldn't use the terminology of "base type" #69392
Description
struct Animal;
impl &Animal {}error[E0118]: no base type found for inherent implementation
--> src/lib.rs:3:6
|
3 | impl &Animal {}
| ^^^^^^^ impl requires a base type
|
= note: either implement a trait on it or create a newtype to wrap it instead
To quote GIGAOTSOS:
impl requeres a base type error screams about presence of sybtyping
This should probably use the covered/local terminology from re-rebalancing coherence instead of "base type" to avoid the problematic overlap with subtyping/inheritance terminology.
jumbatm and tema3210