only if it's a

trait

, or

impl ... for $Trait

rather than an

impl