- [ ] Support `mem::take` by treating it as a corner case => by handling the underlying intrinsic callee functions: `read_via_copy `and `write_via_move`. - [ ] Fine-grained testing and support for ADT with reference fields. - [ ] Fine-grained SCC test cases and evaluation. - [ ] Explore the usage of confidence in the final bug report.
mem::takeby treating it as a corner case => by handling the underlying intrinsic callee functions:read_via_copyandwrite_via_move.