Latch Inferrence

Hey guys, Lets say you have a simple state machine output assignment block like the one below: always @(pstate) begin case(pstate) s0: ...