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>

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

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

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

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

pub(in check::cast) 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.

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

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

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

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

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

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

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