{"ast_node_type":"impl","tokens":[{"end":51,"kind":"keyword","start":0,"text":"dest:"}]}
        dest: &impl Writeable<'tcx, M::Provenance>,
        val: impl Into<Scalar<M::Provenance>>,
    ) -> InterpResult<'tcx> {