Struct TailCallCkVisitor

struct TailCallCkVisitor<'a, 'tcx> {
    tcx: TyCtxt<'tcx>,
    thir: &'a Thir<'tcx>,
    typing_env: TypingEnv<'tcx>,
    is_closure: bool,
    found_errors: Result<(), ErrorGuaranteed>,
    caller_ty: Ty<'tcx>,
}

Fields

tcx: TyCtxt<'tcx>

thir: &'a Thir<'tcx>

typing_env: TypingEnv<'tcx>

is_closure: bool

Whatever the currently checked body is one of a closure

found_errors: Result<(), ErrorGuaranteed>

The result of the checks, Err(_) if there was a problem with some tail call, Ok(()) if all of them were fine.

caller_ty: Ty<'tcx>

Type of the caller function.

Implementations

impl<'tcx> TailCallCkVisitor<'_, 'tcx>

fn check_tail_call(&mut self, call: &Expr<'_>, expr: &Expr<'_>)

fn needs_location(&self, ty: Ty<'tcx>) -> bool

Returns true if function of type ty needs location argument (i.e. if a function is marked as #[track_caller])

fn report_in_closure(&mut self, expr: &Expr<'_>)

fn report_builtin_op(&mut self, value: &Expr<'_>, expr: &Expr<'_>)

fn report_op( &mut self, fun_ty: Ty<'_>, args: &[ExprId], fn_span: Span, expr: &Expr<'_>, )

fn report_non_call(&mut self, value: &Expr<'_>, expr: &Expr<'_>)

fn report_calling_closure( &mut self, fun: &Expr<'_>, tupled_args: Ty<'_>, expr: &Expr<'_>, )

fn report_abi_mismatch( &mut self, sp: Span, caller_abi: ExternAbi, callee_abi: ExternAbi, )

fn report_arguments_mismatch( &mut self, sp: Span, caller_sig: FnSig<'_>, callee_sig: FnSig<'_>, )

fn report_track_caller_mismatch( &mut self, sp: Span, caller_needs_location: bool, )

fn report_c_variadic_caller(&mut self, sp: Span)

fn report_c_variadic_callee(&mut self, sp: Span)

Trait Implementations

impl<'a, 'tcx> Visitor<'a, 'tcx> for TailCallCkVisitor<'a, 'tcx>

fn thir(&self) -> &'a Thir<'tcx>

fn visit_expr(&mut self, expr: &'a Expr<'tcx>)

fn visit_stmt(&mut self, stmt: &'thir Stmt<'tcx>)

fn visit_block(&mut self, block: &'thir Block)

fn visit_arm(&mut self, arm: &'thir Arm<'tcx>)

fn visit_pat(&mut self, pat: &'thir Pat<'tcx>)

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 56 bytes