Struct InlineJudge

pub struct InlineJudge<'tcx> {
    marker_ctx: MarkerCtx<'tcx>,
    opts: &'static Args,
    included_crates: FxHashSet<CrateNum>,
    tcx: TyCtxt<'tcx>,
}

The interpretation of marker placement as it pertains to inlining and inline elision.

MarkerCtx provides the information on which this judge bases its decisions. It also takes into account whether the respective configuration options have been set.

Fields

marker_ctx: MarkerCtx<'tcx>

opts: &'static Args

included_crates: FxHashSet<CrateNum>

tcx: TyCtxt<'tcx>

Implementations

impl<'tcx> InlineJudge<'tcx>

pub fn new( tcx: TyCtxt<'tcx>, body_cache: Rc<BodyCache<'tcx>>, opts: &'static Args, ) -> Self

fn tcx(&self) -> TyCtxt<'tcx>

pub fn included_crates(&self) -> &FxHashSet<CrateNum>

pub fn should_inline(&self, info: &CallInfo<'tcx, '_>) -> InlineJudgement

Should we perform inlining on this function?

pub fn marker_ctx(&self) -> &MarkerCtx<'tcx>

pub fn ensure_is_safe_to_approximate( &self, typing_env: TypingEnv<'tcx>, resolved: Instance<'tcx>, call_span: Span, emit_err: bool, reason: &'static str, )