Type mismatch for FnDefStruct #1499
Description
Running Kani on harnesses in the s2n-quic-transport crate in this branch of s2n-quic results in a CBMC error:
: function call: parameter "_RINvNtCshBEb14mhtvp_4core3cmp6max_byjNvYjNtB2_3Ord3cmpECsPu7NGxNZ36_5tokio::1::var_3::compare" type mismatch:
got struct_tag
* identifier: tag-_RNvXsR_NtNtCshBEb14mhtvp_4core3cmp5implsjNtB7_3Ord3cmpCs3J42wHhXxpW_18s2n_quic_transport::FnDefStruct
expected struct_tag
* identifier: tag-_RNvXsR_NtNtCshBEb14mhtvp_4core3cmp5implsjNtB7_3Ord3cmpCsPu7NGxNZ36_5tokio::FnDefStruct
Trying to come up with a minimal reproducer to attach to this issue.