rustv0_append_lifetime
if (!rustv0_append_lifetime(st, 1))
return (rustv0_append_lifetime(st, lifetime));