Correct fat pointer generation by codegen_rvalue_ref#101

markrtuttle merged 2 commits into

main-151-2021-04-26model-checking/kani:main-151-2021-04-26from

correct-fat-pointers-in-codegen-rvalue-ref-mrtuttlemodel-checking/kani:correct-fat-pointers-in-codegen-rvalue-ref-mrtuttleCopy head branch name to clipboard