Reports incorrect use of `impl Trait`. Abstract return types are only allowed as function and inherent impl return types.