// option. This file may not be copied, modified, or distributed
// except according to those terms.
-// ignore-pretty : (#23623) problems when ending with // comments
-
// error-pattern:thread 'main' panicked at 'attempt to shift right with overflow'
// compile-flags: -C debug-assertions