| #![crate_name = "foo"] | |
| #![feature(generic_const_exprs)] | |
| #![allow(incomplete_features)] | |
| // make sure that `ConstEvaluatable` predicates dont cause rustdoc to ICE #77647 | |
| //@ has foo/struct.Ice.html '//pre[@class="rust item-decl"]' \ | |
| // 'pub struct Ice<const N: usize> where [(); { _ }]:;' | |
| pub struct Ice<const N: usize> where [(); N + 1]:; |