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