pub(super) fn report<'tcx, C, F, E>(
tcx: TyCtxt<'tcx>,
error: InterpError<'tcx>,
span: Span,
get_span_and_frames: C,
mk: F,
) -> ErrorHandled
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
.