| // This used to ICE: #137188 | |
| // The missing parameter list on `N` was set to | |
| // "infer from use site" in ast lowering, which | |
| // caused later code to not emit a missing generic | |
| // param error. The missing param was then attempted | |
| // to be inferred, but inference of generic params | |
| // is only possible within bodies. So a delayed | |
| // bug was generated with no error ever reported. | |
| #![feature(min_generic_const_args, macroless_generic_const_args)] | |
| #![allow(incomplete_features)] | |
| trait Trait {} | |
| impl Trait for [(); N] {} | |
| //~^ ERROR function items cannot be used as const args | |
| fn N<T>() {} | |
| pub fn main() {} |