Struct SafetyChecker

struct SafetyChecker<'tcx> {
    tcx: TyCtxt<'tcx>,
    emit_err: bool,
    typing_env: TypingEnv<'tcx>,
    resolved: Instance<'tcx>,
    call_span: Span,
    marker_ctx: MarkerCtx<'tcx>,
    reason: &'static str,
}

A check for the abstraction safety of a given instance.

It looks at each trait predicate on the function and how they are instantiated, then checks the methods defined on those traits and whether they may attach markers. Each time a potential marker is found a diagnostic message is emitted.

The main entrypoint is Self::check.

Fields

tcx: TyCtxt<'tcx>

emit_err: bool

Emit errors if true, otherwise emit warnings

typing_env: TypingEnv<'tcx>

resolved: Instance<'tcx>

Instance under scrutiny

call_span: Span

marker_ctx: MarkerCtx<'tcx>

reason: &'static str

Why a call we check wasn’t inlined

Implementations

impl<'tcx> SafetyChecker<'tcx>

fn err(&self, s: &str, span: Span)

Emit an error or a warning with some preformatted messaging.

fn err_markers(&self, s: &str, markers: &[Identifier], span: Span)

Emit an error that mentions the markers found

fn check_projection_predicate( &self, predicate: &ProjectionPredicate<'tcx>, span: Span, )

fn check_trait_predicate(&self, predicate: &TraitPredicate<'tcx>, span: Span)

fn check_impl(&self, impl: DefId, span: Span)

fn check_predicate(&self, clause: Clause<'tcx>, span: Span)

fn check(&self)

Main entry point for the check