// compile-flags: --unpretty=hir