impl-Trait on in-crate types in a diff mod from the type definition