The only possible improvement I can think of is using CHECK-NEXT but it's fine as-is.
Thanks. I will fix this when committing it.
The only possible improvement I can think of is using CHECK-NEXT but it's fine as-is.