I don't think that this or the below test will pass unless there's an `//~ ERROR` comment