Struct InlineJudge

pub struct InlineJudge<'tcx> {
    ctx: Pctx<'tcx>,
    included_crates: Rc<dyn Fn(CrateNum) -> bool>,
}

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

ctx: Pctx<'tcx>

included_crates: Rc<dyn Fn(CrateNum) -> bool>

Implementations

impl<'tcx> InlineJudge<'tcx>

pub fn new(ctx: Pctx<'tcx>) -> Self

pub fn is_included(&self, c: CrateNum) -> bool

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

Should we perform inlining on this function?

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, )