Update examples of what implements `Termination`#1256

ehuss merged 1 commit intorust-lang:masterrust-lang/reference:masterfrom

mattheww:2022-08_terminationmattheww/reference:2022-08_terminationCopy head branch name to clipboard