// compile-flags: --explain E0591
// check-pass