pub fn is_simple_non_opaque_param(ty: &TypeRef) -> bool
Check if a param type is safe for non-opaque delegation (no complex conversions needed). Vec and Map params can cause type mismatches (e.g. Vec vs &&str).