{"ast_node_type":"variable","tokens":[{"end":54,"kind":"keyword","start":0,"text":"let"}]}
        let imm = self.read_immediate(val, expected)?;
        // Not using `ecx.deref_pointer` since we want to use our `read_immediate` wrapper.
        // Reset provenance: ensure slice tail metadata does not preserve provenance,