test/error/binding_overflow_class.sv

// pattern: too many bindings specified for parameters in class specialization of "example": 3 specified \(1, 2, 3\), but only 2 available \("P", "Q"\)
class example #(
    parameter P = 1,
    parameter Q = 1
);
    typedef logic [P * Q:0] T;
endclass
module top;
    example#(1, 2, 3)::T x;
endmodule
improve binding resolution error messages 2024-12-15 00:42:13 -05:00			`// pattern: too many bindings specified for parameters in class specialization of "example": 3 specified \(1, 2, 3\), but only 2 available \("P", "Q"\)`
refactor positional binding checking and resolution 2021-04-30 13:42:36 -04:00			`class example #(`
			`parameter P = 1,`
			`parameter Q = 1`
			`);`
			`typedef logic [P * Q:0] T;`
			`endclass`
			`module top;`
			`example#(1, 2, 3)::T x;`
			`endmodule`