Fix: assume Move when the move_trait feature is not added - #2

Fix: assume Move when the move_trait feature is not added#2

zannabianca1997 wants to merge 3 commits into

nia-e:move-traitnia-e/rust:move-traitfrom

zannabianca1997:next-solver-assume-movezannabianca1997/rust:next-solver-assume-moveCopy head branch name to clipboard