//@ known-bug: #139596

#![feature(min_generic_const_args)]
struct Colour;

struct Led<const C: Colour>;

fn main() {
    Led::<{ Colour}>;
}