A wildcard case statement is missing coverage of one or more possible inputs and has no default case to handle them.
module fly;
logic [2:0] a;
initial casez (a)
3'b00?:;
3'b1??:;
endcase
endmodule
module fly;
logic [2:0] a;
initial casez (a)
3'b00?:;
3'b1??:;
default:;
endcase
endmodule