Enum rustc_mir::borrow_check::diagnostics::conflict_errors::AnnotatedBorrowFnSignature

enum AnnotatedBorrowFnSignature<'tcx> {
    NamedFunction {
        arguments: Vec<(Ty<'tcx>, Span)>,
        return_ty: Ty<'tcx>,
        return_span: Span,
    },
    AnonymousFunction {
        argument_ty: Ty<'tcx>,
        argument_span: Span,
        return_ty: Ty<'tcx>,
        return_span: Span,
    },
    Closure {
        argument_ty: Ty<'tcx>,
        argument_span: Span,
    },
}

Variants

NamedFunction

Fields of NamedFunction

arguments: Vec<(Ty<'tcx>, Span)>return_ty: Ty<'tcx>return_span: Span

AnonymousFunction

Fields of AnonymousFunction

argument_ty: Ty<'tcx>argument_span: Spanreturn_ty: Ty<'tcx>return_span: Span

Closure

Fields of Closure

argument_ty: Ty<'tcx>argument_span: Span

Implementations

impl<'tcx> AnnotatedBorrowFnSignature<'tcx>

pub(in borrow_check) fn emit(
    &self,
    cx: &mut MirBorrowckCtxt<'_, 'tcx>,
    diag: &mut DiagnosticBuilder<'_>
) -> String

Annotate the provided diagnostic with information about borrow from the fn signature that helps explain.

Trait Implementations

impl<'tcx> Debug for AnnotatedBorrowFnSignature<'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.