Function parse_type

Source
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⟩ ]