fn check_panic<'tcx>(
    cx: &LateContext<'tcx>,
    f: &'tcx Expr<'tcx>,
    arg: &'tcx Expr<'tcx>
)