https://www.solosoft.dev/es/tags/ferrocene/Recent content in Ferrocene on SoloSoftHugoes-esWed, 14 Oct 2026 00:00:00 +0000https://www.solosoft.dev/es/post/rust-borrowck-covariant-field-assignment-unsoundness/Wed, 14 Oct 2026 00:00:00 +0000https://www.solosoft.dev/es/post/rust-borrowck-covariant-field-assignment-unsoundness/<p>El 2026-10-13 a las 08:45:54Z se abrió un issue contra <code>rust-lang/rust</code> titulado <em>&ldquo;struct&rsquo;s lifetime requirements can be bypassed via covariant field assignment&rdquo;</em>. En quince minutos el equipo de tipos lo etiquetó como <strong>P-critical</strong>; a las 09:25 ya era <strong>P-high</strong> con la etiqueta <code>I-unsound</code>. Ese mismo día, un envío a Hacker News llegó a <strong>667 puntos y 373 comentarios</strong>. El número de issue es <strong>#164250</strong>.</p> <p>Lo que hace que un fallo de compilador así atraiga tanta atención no es el fallo. Es el código que lo dispara. El reproductor <strong>no contiene <code>unsafe</code></strong>, ni transmute, ni punteros crudos, ni FFI. Es la clase de pareja struct-más-<code>Drop</code> que aparece en Rust corriente y, a día de hoy, <strong>toda versión publicada de rustc y todo nightly lo acepta</strong>.</p>