Move [assertions_on_result_states
] to restriction#9273
Merged
bors merged 2 commits intorust-lang:masterfrom tabokie:assert_ok_fpAug 1, 2022
+34-11
assertions_on_result_states
] to restriction#9273