pub(super) fn report<'tcx, C, F, E>(
    tcx: TyCtxt<'tcx>,
    error: InterpError<'tcx>,
    span: Option<Span>,
    get_span_and_frames: C,
    mk: F
) -> ErrorHandledwhere
    C: FnOnce() -> (Span, Vec<FrameNote>),
    F: FnOnce(Span, Vec<FrameNote>) -> E,
    E: IntoDiagnostic<'tcx, ErrorGuaranteed>,
Expand description

Create a diagnostic for a const eval error.

This will use the mk function for creating the error which will get passed labels according to the InterpError and the span and a stacktrace of current execution according to get_span_and_frames.