fn generate_tpie_invocation(
trait_path: &Path,
concrete_type: &Type,
class_system: ClassSystem,
class_has_no_rd: bool,
internal: bool,
noexport: bool,
no_preconditions: bool,
) -> TokenStreamExpand description
Request declaration metadata for an empty trait impl.
When #[miniextendr] impl Trait for Type {} has no method bodies, this
delegates to the trait’s metadata macro
(generated at the trait definition site) to expand C/R wrappers.