Skip to content

fix: Don't consider := * to be definite assignment for non-ghost variables of a (00) type #6370

fix: Don't consider := * to be definite assignment for non-ghost variables of a (00) type

fix: Don't consider := * to be definite assignment for non-ghost variables of a (00) type #6370