fn parse_bty_exists(cx: &mut ParseCtxt<'_>, bty: BaseTy) -> ParseResult<Ty>
⟨bty⟩ { ⟨ident⟩ : ⟨block_expr⟩ }