fn parse_impl_assoc_reft(cx: &mut ParseCtxt<'_>) -> ParseResult<ImplAssocReft>Expand description
⟨impl_assoc_reft⟩ := fn ⟨ident⟩ ( ⟨refine_param⟩,* ) -> ⟨base_sort⟩ ⟨block⟩fn parse_impl_assoc_reft(cx: &mut ParseCtxt<'_>) -> ParseResult<ImplAssocReft>⟨impl_assoc_reft⟩ := fn ⟨ident⟩ ( ⟨refine_param⟩,* ) -> ⟨base_sort⟩ ⟨block⟩