@celaus which rustc are you using? i just tested against nightly-2021-11-01 and didn't reproduce.
$ rustc --version rustc 1.58.0-nightly (ff0e14829 2021-10-31) -- Reply to this email directly or view it on GitHub: https://github.com/apache/incubator-teaclave-sgx-sdk/issues/373#issuecomment-1034399559 You are receiving this because you are subscribed to this thread. Message ID: <apache/incubator-teaclave-sgx-sdk/issues/373/1034399...@github.com>