Allow default initializer when all fields are initialized#1374

KunJeong wants to merge 1 commit into

p4lang:mainp4lang/p4-spec:mainfrom

KunJeong:KunJeong-default-initializersKunJeong/p4-spec:KunJeong-default-initializersCopy head branch name to clipboard