The two examples are very close to one another, except possibly for rather subtle differences(?) (#11431 (comment)). They can probably be merged together.