// run-pass // Verifies that having generic parameters after constants is permitted #[allow(dead_code)] struct A(T); fn main() {}