Use #kani_comment instead of #comment for deinit
#1708
Closed
#kani_comment instead of #comment for deinit
#1708