Why access subtyping is not allowed in type extensions?

language design
23 
7 | impl &Animal {}
  |      ^^^^^^^ impl requires a base type

impl requeres a base type error screams about presence of sybtyping