{"ast_node_type":"variable","tokens":[{"end":78,"kind":"keyword","start":0,"text":"if"}]}
            if let Some(ty::OutlivesPredicate(ty, r)) = binder.no_bound_vars()
        let env_bounds = self.approx_declared_bounds_from_env(alias_ty).into_iter().map(|binder| {
                && let ty::Alias(_, alias_ty_from_bound) = *ty.kind()