fn is_normalizable_helper<'tcx>(
    cx: &LateContext<'tcx>,
    param_env: ParamEnv<'tcx>,
    ty: Ty<'tcx>,
    cache: &mut FxHashMap<Ty<'tcx>, bool>
) -> bool