case_with_prefix.php

<?hh

// Namespace is important: we need to check that there's no user-supplied
// prefix, not just that there is no prefix at all, and AUTO332 expands to
// Foo\AUTO322

namespace Foo;

class ABC {}

function main(): void {
  switch(\random_int(123, 456)) {
    case 123:AAUTO332
  }
}