Struct rustc_typeck::check::cast::CastCheck

pub struct CastCheck<'tcx> {
    expr: &'tcx Expr<'tcx>,
    expr_ty: Ty<'tcx>,
    cast_ty: Ty<'tcx>,
    cast_span: Span,
    span: Span,
}

Reifies a cast check to be checked once we have full type information for a function context.

Fields

expr: &'tcx Expr<'tcx>

expr_ty: Ty<'tcx>

cast_ty: Ty<'tcx>

cast_span: Span

span: Span

Implementations

impl<'a, 'tcx> CastCheck<'tcx>

pub fn new(
    fcx: &FnCtxt<'a, 'tcx>,
    expr: &'tcx Expr<'tcx>,
    expr_ty: Ty<'tcx>,
    cast_ty: Ty<'tcx>,
    cast_span: Span,
    span: Span
) -> Result<CastCheck<'tcx>, ErrorReported>

fn report_cast_error(&self, fcx: &FnCtxt<'a, 'tcx>, e: CastError)

fn report_cast_to_unsized_type(&self, fcx: &FnCtxt<'a, 'tcx>)

fn trivial_cast_lint(&self, fcx: &FnCtxt<'a, 'tcx>)

pub fn check(self, fcx: &FnCtxt<'a, 'tcx>)

fn report_object_unsafe_cast(&self, fcx: &FnCtxt<'a, 'tcx>, did: DefId)

pub fn do_check(&self, fcx: &FnCtxt<'a, 'tcx>) -> Result<CastKind, CastError>

Checks a cast, and report an error if one exists. In some cases, this can return Ok and create type errors in the fcx rather than returning directly. coercion-cast is handled in check instead of here.

fn check_ptr_ptr_cast(
    &self,
    fcx: &FnCtxt<'a, 'tcx>,
    m_expr: TypeAndMut<'tcx>,
    m_cast: TypeAndMut<'tcx>
) -> Result<CastKind, CastError>

fn check_fptr_ptr_cast(
    &self,
    fcx: &FnCtxt<'a, 'tcx>,
    m_cast: TypeAndMut<'tcx>
) -> Result<CastKind, CastError>

fn check_ptr_addr_cast(
    &self,
    fcx: &FnCtxt<'a, 'tcx>,
    m_expr: TypeAndMut<'tcx>
) -> Result<CastKind, CastError>

fn check_ref_cast(
    &self,
    fcx: &FnCtxt<'a, 'tcx>,
    m_expr: TypeAndMut<'tcx>,
    m_cast: TypeAndMut<'tcx>
) -> Result<CastKind, CastError>

fn check_addr_ptr_cast(
    &self,
    fcx: &FnCtxt<'a, 'tcx>,
    m_cast: TypeAndMut<'tcx>
) -> Result<CastKind, CastError>

fn try_coercion_cast(&self, fcx: &FnCtxt<'a, 'tcx>) -> Result<(), TypeError<'_>>

fn cenum_impl_drop_lint(&self, fcx: &FnCtxt<'a, 'tcx>)