Add more rules about when expressions diverge#2186

ehuss wants to merge 1 commit intorust-lang:masterrust-lang/reference:masterfrom

ehuss:more-divergenceehuss/reference:more-divergenceCopy head branch name to clipboard