{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":")"}]}
    ) -> InterpResult<'tcx, Option<T>> {
        ) -> InterpResult<'tcx, (Size, Align, T)>,
        // Everything is okay with size 0.