Function parse_refine_param

Source
fn parse_refine_param(
    cx: &mut ParseCtxt<'_>,
    require_sort: RequireSort,
) -> ParseResult<RefineParam>
Expand description
⟨refine_param⟩ := ⟨mode⟩? ⟨ident⟩ ⟨ : ⟨sort⟩ ⟩?    if require_sort is Opt
                | ⟨mode⟩? ⟨ident⟩ : ⟨sort⟩         if require_sort is Yes
                | ⟨mode⟩? ⟨ident⟩                  if require_sort is No