{ switch 0:u256 case 0:u256 {} case "":u256 {} } // ==== // dialect: evmTyped // ---- // DeclarationError 6792: (34-49): Duplicate case "0" defined.