fn check_dyn_star_cast<'tcx>(
    fcx: &FnCtxt<'_, 'tcx>,
    expr: &'tcx Expr<'tcx>,
    expr_ty: Ty<'tcx>,
    cast_ty: Ty<'tcx>
) -> CastCheckResult<'tcx>