Maybe the terms _Return Position Impl Trait_ and _Return Position Impl Trait In Trait_ are worth adding?