// This file is in `.gitignore` simulating that it's generated by a build tool
// and should not be linted
while (false) {}