{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"cast_ty:"}]}
        cast_ty: Ty<'tcx>,
        src_layout: TyAndLayout<'tcx>,
    ) -> InterpResult<'tcx, Scalar<M::Provenance>> {