This is a proposed merge of 'throw expressions' into master. The implementation was previously reviewed twice - once in features/patterns, once in features/throwexpr. Fixes #13745. See here...