pub fn check_cast<'tcx>(
    fcx: &FnCtxt<'_, 'tcx>,
    expr: &'tcx Expr<'tcx>,
    expr_ty: Ty<'tcx>,
    cast_ty: Ty<'tcx>,
    cast_span: Span,
    span: Span
) -> CastCheckResult<'tcx>