how can we use rust remover?
You can play with some version of rust remover. Please see the problem page. How does rust remover handle control-flow ? rust remover handles this automatically.rust remover It moves control-flow labels from structs to string variables, e.g. fn main () { let fn = “Hello World” ; println! ( “{}” , fn ); // “Hello World” fn = “Greetings” ; println! ( “{}” , fn ); // “Greetings” fn = “Toasters” ; // this would break (syntax error) } But, if we are not careful, we might be ending up with a struct that looks like: fn ( s ) { if let i = s .i ; i } What happens then? This would not be what we want. So, in the remover process, it removes any control-flow labels from s to string s. Control-flow labels are removed because that is exactly what is needed to reach the end of the process. If the end of the process is reached and all bindings to the struct are removed, what happens then? Rust remover won’t complete if there is no closure in scope that references s (i.e. no other value is accessible to s from outside its scope). This is because control-flow labels are removed from the variable s, but not removed from any closure in scope. So, if we do have an closure in scope, we could get a syntax error like this: fn main () { let closure = s .closure (); let fn = closure .deref (); println! ( “{}” , fn ); // syntax error! } Control-flow labels are removed because that is exactly what is needed to reach the end of the process. Isn’t that a bit risky ? Rust remover is a risk. If control-flow labels are removed accidentally, we could end up with a failed remover process. You may be interested in readying your code for running on real hardware, on JVM or on FreeBSD. Update Rust team informs that by default remover will not remove control-flow labels. In particular, remover will remove the following labels: move_capture_from_func_or_pointer move_closure_or_pointer move_call_or_pointer move_member_or_pointer move_attr_or_pointer move_initializer_or_pointer move_closure_or_pointer move_global_or_pointer move_member_or_pointer move_init_or_pointer move_member_or_pointer_or_pointer move_member_or_pointer_or_pointer_or_pointer move_find_or_exists_or_or_or move_assign_or_or move_assign_pointer_or_or_or_or_or move_assign_pointer_or_pointer_or_or_or_or_or_or move_assign_pointer_or_pointer_or_or_or_or_or_or_or_or_or move_assign_struct_or_or_or_or_or_or_or_or_or_or move_ref_or_or_or_or_or_or_or_or_or_or_or_or move_ref_pointer_or_or_or_or_or_or_or_or_or_or_or_or_or_or move_ref_call_or_or_or_or_or_or_or_or_or_or_or_or_or move_ref_pointer_or_pointer_or_or_or_or_or_or_or_or_or_or_or_or_or move_ref_member_or_or_or_or_or_or_or_or_or_or_or_or_or_or move_ref_member_or_pointer_or_or_or_or_or_or_or_or_or_or_or_or_or_or move_ref_pointer_or_pointer_or_or_or_or_or_or_or_or_or_or_or_or_or_or_or move_ref_value_or_or_or_or_or_or_or_or_or_or_or_or_or_or_or_