Function parse_bty_rhs 

fn parse_bty_rhs(cx: &mut ParseCtxt<'_>, bty: BaseTy) -> ParseResult<Ty>

   ⟨bty⟩ [ ⟨refine_arg⟩,* ]
|  ⟨bty⟩ { ⟨ident⟩ : ⟨block_expr⟩ }
|  ⟨bty⟩