As per my review comment from 2018-07-21, ``` // ill-formed, no diagnostic required ``` should be ``` // ill-formed, // no diagnostic required ``` or similar