How do you plan to solve it?
module brake_light ( input brake_pedal, output reg brake_light ); always @(*) begin if (brake_pedal) brake_light = 1; // Comment else block to see latching behavior else brake_light = 0; // explicitly handle else → no latch end endmodule