Implement Finally for ~fn and @fn types
auto merge of #5839 : bjz/rust/master, r=brson

r? @brson