pub(crate) fn parse_type(cx: &mut ParseCtxt<'_>) -> ParseResult<Ty>
Expand description
⟨ty⟩ := _
| { ⟨ident⟩ ⟨,⟨ident⟩⟩* . ⟨ty⟩ | ⟨block_expr⟩ }
| ( ⟨ty⟩,* )
| { ⟨ty⟩ | ⟨block_expr⟩ }
| { ⟨refine_param⟩ ⟨,⟨refine_param⟩⟩* . ⟨ty⟩ | ⟨block_expr⟩ }
| & mut? ⟨ty⟩
| [ ⟨ty⟩ ; ⟨const_arg⟩ ]
| impl ⟨path⟩
| ⟨bty⟩
| ⟨bty⟩ [ ⟨refine_arg⟩,* ]
| ⟨bty⟩ { ⟨ident⟩ : ⟨block_expr⟩ }
⟨bty⟩ := ⟨path⟩ | ⟨qpath⟩ | [ ⟨ty⟩ ]