Expand description
Concrete argument types inferred from an inherited trait method.
Metadata describes the R-facing shape, but a copied Rust path may name a private declaration-local alias. This zero-sized witness gets its type from the actual method item instead. Conversion errors remain concrete at the generated call site, preserving the condition-class probes.
Structs§
- Argument 👻
- An inferred method argument type, used only by generated wrappers.