Function set_property_pub 

pub fn set_property_pub(
    recv: &Value,
    name: &str,
    val: Value,
) -> Result<(), String>

[[Set]] reachable from crate::proxy’s no-trap forward, which has to land on the same path a plain o.k = v takes.