From 323503c2b578841db6af99c0c5178e4ff2940442 Mon Sep 17 00:00:00 2001 From: Liu Fengyun Date: Wed, 20 Jan 2021 11:08:55 +0100 Subject: [PATCH 1/2] Fix spurious failure in CI The failure can be seen below (thanks to @griggt): https://github.com/lampepfl/dotty/runs/1732363505?check_suite_focus=true On my local machine, I can reproduce the error both under Java 14 and Java 8. The error stacktrace is in TreeChecker. By reducing the size of the enum, we avoid such instability in test. [test_java8] --- tests/pos/i10174.scala | 500 ----------------------------------------- 1 file changed, 500 deletions(-) diff --git a/tests/pos/i10174.scala b/tests/pos/i10174.scala index 568da7a7e518..0ab392a68a7b 100644 --- a/tests/pos/i10174.scala +++ b/tests/pos/i10174.scala @@ -499,504 +499,4 @@ enum LargeEnum { case e498 case e499 case e500 - case e501 - case e502 - case e503 - case e504 - case e505 - case e506 - case e507 - case e508 - case e509 - case e510 - case e511 - case e512 - case e513 - case e514 - case e515 - case e516 - case e517 - case e518 - case e519 - case e520 - case e521 - case e522 - case e523 - case e524 - case e525 - case e526 - case e527 - case e528 - case e529 - case e530 - case e531 - case e532 - case e533 - case e534 - case e535 - case e536 - case e537 - case e538 - case e539 - case e540 - case e541 - case e542 - case e543 - case e544 - case e545 - case e546 - case e547 - case e548 - case e549 - case e550 - case e551 - case e552 - case e553 - case e554 - case e555 - case e556 - case e557 - case e558 - case e559 - case e560 - case e561 - case e562 - case e563 - case e564 - case e565 - case e566 - case e567 - case e568 - case e569 - case e570 - case e571 - case e572 - case e573 - case e574 - case e575 - case e576 - case e577 - case e578 - case e579 - case e580 - case e581 - case e582 - case e583 - case e584 - case e585 - case e586 - case e587 - case e588 - case e589 - case e590 - case e591 - case e592 - case e593 - case e594 - case e595 - case e596 - case e597 - case e598 - case e599 - case e600 - case e601 - case e602 - case e603 - case e604 - case e605 - case e606 - case e607 - case e608 - case e609 - case e610 - case e611 - case e612 - case e613 - case e614 - case e615 - case e616 - case e617 - case e618 - case e619 - case e620 - case e621 - case e622 - case e623 - case e624 - case e625 - case e626 - case e627 - case e628 - case e629 - case e630 - case e631 - case e632 - case e633 - case e634 - case e635 - case e636 - case e637 - case e638 - case e639 - case e640 - case e641 - case e642 - case e643 - case e644 - case e645 - case e646 - case e647 - case e648 - case e649 - case e650 - case e651 - case e652 - case e653 - case e654 - case e655 - case e656 - case e657 - case e658 - case e659 - case e660 - case e661 - case e662 - case e663 - case e664 - case e665 - case e666 - case e667 - case e668 - case e669 - case e670 - case e671 - case e672 - case e673 - case e674 - case e675 - case e676 - case e677 - case e678 - case e679 - case e680 - case e681 - case e682 - case e683 - case e684 - case e685 - case e686 - case e687 - case e688 - case e689 - case e690 - case e691 - case e692 - case e693 - case e694 - case e695 - case e696 - case e697 - case e698 - case e699 - case e700 - case e701 - case e702 - case e703 - case e704 - case e705 - case e706 - case e707 - case e708 - case e709 - case e710 - case e711 - case e712 - case e713 - case e714 - case e715 - case e716 - case e717 - case e718 - case e719 - case e720 - case e721 - case e722 - case e723 - case e724 - case e725 - case e726 - case e727 - case e728 - case e729 - case e730 - case e731 - case e732 - case e733 - case e734 - case e735 - case e736 - case e737 - case e738 - case e739 - case e740 - case e741 - case e742 - case e743 - case e744 - case e745 - case e746 - case e747 - case e748 - case e749 - case e750 - case e751 - case e752 - case e753 - case e754 - case e755 - case e756 - case e757 - case e758 - case e759 - case e760 - case e761 - case e762 - case e763 - case e764 - case e765 - case e766 - case e767 - case e768 - case e769 - case e770 - case e771 - case e772 - case e773 - case e774 - case e775 - case e776 - case e777 - case e778 - case e779 - case e780 - case e781 - case e782 - case e783 - case e784 - case e785 - case e786 - case e787 - case e788 - case e789 - case e790 - case e791 - case e792 - case e793 - case e794 - case e795 - case e796 - case e797 - case e798 - case e799 - case e800 - case e801 - case e802 - case e803 - case e804 - case e805 - case e806 - case e807 - case e808 - case e809 - case e810 - case e811 - case e812 - case e813 - case e814 - case e815 - case e816 - case e817 - case e818 - case e819 - case e820 - case e821 - case e822 - case e823 - case e824 - case e825 - case e826 - case e827 - case e828 - case e829 - case e830 - case e831 - case e832 - case e833 - case e834 - case e835 - case e836 - case e837 - case e838 - case e839 - case e840 - case e841 - case e842 - case e843 - case e844 - case e845 - case e846 - case e847 - case e848 - case e849 - case e850 - case e851 - case e852 - case e853 - case e854 - case e855 - case e856 - case e857 - case e858 - case e859 - case e860 - case e861 - case e862 - case e863 - case e864 - case e865 - case e866 - case e867 - case e868 - case e869 - case e870 - case e871 - case e872 - case e873 - case e874 - case e875 - case e876 - case e877 - case e878 - case e879 - case e880 - case e881 - case e882 - case e883 - case e884 - case e885 - case e886 - case e887 - case e888 - case e889 - case e890 - case e891 - case e892 - case e893 - case e894 - case e895 - case e896 - case e897 - case e898 - case e899 - case e900 - case e901 - case e902 - case e903 - case e904 - case e905 - case e906 - case e907 - case e908 - case e909 - case e910 - case e911 - case e912 - case e913 - case e914 - case e915 - case e916 - case e917 - case e918 - case e919 - case e920 - case e921 - case e922 - case e923 - case e924 - case e925 - case e926 - case e927 - case e928 - case e929 - case e930 - case e931 - case e932 - case e933 - case e934 - case e935 - case e936 - case e937 - case e938 - case e939 - case e940 - case e941 - case e942 - case e943 - case e944 - case e945 - case e946 - case e947 - case e948 - case e949 - case e950 - case e951 - case e952 - case e953 - case e954 - case e955 - case e956 - case e957 - case e958 - case e959 - case e960 - case e961 - case e962 - case e963 - case e964 - case e965 - case e966 - case e967 - case e968 - case e969 - case e970 - case e971 - case e972 - case e973 - case e974 - case e975 - case e976 - case e977 - case e978 - case e979 - case e980 - case e981 - case e982 - case e983 - case e984 - case e985 - case e986 - case e987 - case e988 - case e989 - case e990 - case e991 - case e992 - case e993 - case e994 - case e995 - case e996 - case e997 - case e998 - case e999 - case e1000 } \ No newline at end of file From a3156b493936aef6d0d324a2eac336d50c0a9011 Mon Sep 17 00:00:00 2001 From: Liu Fengyun Date: Thu, 21 Jan 2021 09:03:02 +0100 Subject: [PATCH 2/2] Add test for #11058 --- tests/patmat/i10174b.check | 2 + tests/patmat/i10174b.scala | 1004 ++++++++++++++++++++++++++++++++++++ 2 files changed, 1006 insertions(+) create mode 100644 tests/patmat/i10174b.check create mode 100644 tests/patmat/i10174b.scala diff --git a/tests/patmat/i10174b.check b/tests/patmat/i10174b.check new file mode 100644 index 000000000000..a8e6f96b4bac --- /dev/null +++ b/tests/patmat/i10174b.check @@ -0,0 +1,2 @@ +2: Pattern Match Exhaustivity: _: Int +58: Match case Unreachable diff --git a/tests/patmat/i10174b.scala b/tests/patmat/i10174b.scala new file mode 100644 index 000000000000..f227f68c909b --- /dev/null +++ b/tests/patmat/i10174b.scala @@ -0,0 +1,1004 @@ +def foo(x: Int): Unit = + x match { + case 1 => + case 2 => + case 3 => + case 4 => + case 5 => + case 6 => + case 7 => + case 8 => + case 9 => + case 10 => + case 11 => + case 12 => + case 13 => + case 14 => + case 15 => + case 16 => + case 17 => + case 18 => + case 19 => + case 20 => + case 21 => + case 22 => + case 23 => + case 24 => + case 25 => + case 26 => + case 27 => + case 28 => + case 29 => + case 30 => + case 31 => + case 32 => + case 33 => + case 34 => + case 35 => + case 36 => + case 37 => + case 38 => + case 39 => + case 40 => + case 41 => + case 42 => + case 43 => + case 44 => + case 45 => + case 46 => + case 47 => + case 48 => + case 49 => + case 50 => + case 51 => + case 52 => + case 53 => + case 54 => + case 55 => + case 55 => + case 56 => + case 57 => + case 58 => + case 59 => + case 60 => + case 61 => + case 62 => + case 63 => + case 64 => + case 65 => + case 66 => + case 67 => + case 68 => + case 69 => + case 70 => + case 71 => + case 72 => + case 73 => + case 74 => + case 75 => + case 76 => + case 77 => + case 78 => + case 79 => + case 80 => + case 81 => + case 82 => + case 83 => + case 84 => + case 85 => + case 86 => + case 87 => + case 88 => + case 89 => + case 90 => + case 91 => + case 92 => + case 93 => + case 94 => + case 95 => + case 96 => + case 97 => + case 98 => + case 99 => + case 100 => + case 101 => + case 102 => + case 103 => + case 104 => + case 105 => + case 106 => + case 107 => + case 108 => + case 109 => + case 110 => + case 111 => + case 112 => + case 113 => + case 114 => + case 115 => + case 116 => + case 117 => + case 118 => + case 119 => + case 120 => + case 121 => + case 122 => + case 123 => + case 124 => + case 125 => + case 126 => + case 127 => + case 128 => + case 129 => + case 130 => + case 131 => + case 132 => + case 133 => + case 134 => + case 135 => + case 136 => + case 137 => + case 138 => + case 139 => + case 140 => + case 141 => + case 142 => + case 143 => + case 144 => + case 145 => + case 146 => + case 147 => + case 148 => + case 149 => + case 150 => + case 151 => + case 152 => + case 153 => + case 154 => + case 155 => + case 156 => + case 157 => + case 158 => + case 159 => + case 160 => + case 161 => + case 162 => + case 163 => + case 164 => + case 165 => + case 166 => + case 167 => + case 168 => + case 169 => + case 170 => + case 171 => + case 172 => + case 173 => + case 174 => + case 175 => + case 176 => + case 177 => + case 178 => + case 179 => + case 180 => + case 181 => + case 182 => + case 183 => + case 184 => + case 185 => + case 186 => + case 187 => + case 188 => + case 189 => + case 190 => + case 191 => + case 192 => + case 193 => + case 194 => + case 195 => + case 196 => + case 197 => + case 198 => + case 199 => + case 200 => + case 201 => + case 202 => + case 203 => + case 204 => + case 205 => + case 206 => + case 207 => + case 208 => + case 209 => + case 210 => + case 211 => + case 212 => + case 213 => + case 214 => + case 215 => + case 216 => + case 217 => + case 218 => + case 219 => + case 220 => + case 221 => + case 222 => + case 223 => + case 224 => + case 225 => + case 226 => + case 227 => + case 228 => + case 229 => + case 230 => + case 231 => + case 232 => + case 233 => + case 234 => + case 235 => + case 236 => + case 237 => + case 238 => + case 239 => + case 240 => + case 241 => + case 242 => + case 243 => + case 244 => + case 245 => + case 246 => + case 247 => + case 248 => + case 249 => + case 250 => + case 251 => + case 252 => + case 253 => + case 254 => + case 255 => + case 256 => + case 257 => + case 258 => + case 259 => + case 260 => + case 261 => + case 262 => + case 263 => + case 264 => + case 265 => + case 266 => + case 267 => + case 268 => + case 269 => + case 270 => + case 271 => + case 272 => + case 273 => + case 274 => + case 275 => + case 276 => + case 277 => + case 278 => + case 279 => + case 280 => + case 281 => + case 282 => + case 283 => + case 284 => + case 285 => + case 286 => + case 287 => + case 288 => + case 289 => + case 290 => + case 291 => + case 292 => + case 293 => + case 294 => + case 295 => + case 296 => + case 297 => + case 298 => + case 299 => + case 300 => + case 301 => + case 302 => + case 303 => + case 304 => + case 305 => + case 306 => + case 307 => + case 308 => + case 309 => + case 310 => + case 311 => + case 312 => + case 313 => + case 314 => + case 315 => + case 316 => + case 317 => + case 318 => + case 319 => + case 320 => + case 321 => + case 322 => + case 323 => + case 324 => + case 325 => + case 326 => + case 327 => + case 328 => + case 329 => + case 330 => + case 331 => + case 332 => + case 333 => + case 334 => + case 335 => + case 336 => + case 337 => + case 338 => + case 339 => + case 340 => + case 341 => + case 342 => + case 343 => + case 344 => + case 345 => + case 346 => + case 347 => + case 348 => + case 349 => + case 350 => + case 351 => + case 352 => + case 353 => + case 354 => + case 355 => + case 356 => + case 357 => + case 358 => + case 359 => + case 360 => + case 361 => + case 362 => + case 363 => + case 364 => + case 365 => + case 366 => + case 367 => + case 368 => + case 369 => + case 370 => + case 371 => + case 372 => + case 373 => + case 374 => + case 375 => + case 376 => + case 377 => + case 378 => + case 379 => + case 380 => + case 381 => + case 382 => + case 383 => + case 384 => + case 385 => + case 386 => + case 387 => + case 388 => + case 389 => + case 390 => + case 391 => + case 392 => + case 393 => + case 394 => + case 395 => + case 396 => + case 397 => + case 398 => + case 399 => + case 400 => + case 401 => + case 402 => + case 403 => + case 404 => + case 405 => + case 406 => + case 407 => + case 408 => + case 409 => + case 410 => + case 411 => + case 412 => + case 413 => + case 414 => + case 415 => + case 416 => + case 417 => + case 418 => + case 419 => + case 420 => + case 421 => + case 422 => + case 423 => + case 424 => + case 425 => + case 426 => + case 427 => + case 428 => + case 429 => + case 430 => + case 431 => + case 432 => + case 433 => + case 434 => + case 435 => + case 436 => + case 437 => + case 438 => + case 439 => + case 440 => + case 441 => + case 442 => + case 443 => + case 444 => + case 445 => + case 446 => + case 447 => + case 448 => + case 449 => + case 450 => + case 451 => + case 452 => + case 453 => + case 454 => + case 455 => + case 456 => + case 457 => + case 458 => + case 459 => + case 460 => + case 461 => + case 462 => + case 463 => + case 464 => + case 465 => + case 466 => + case 467 => + case 468 => + case 469 => + case 470 => + case 471 => + case 472 => + case 473 => + case 474 => + case 475 => + case 476 => + case 477 => + case 478 => + case 479 => + case 480 => + case 481 => + case 482 => + case 483 => + case 484 => + case 485 => + case 486 => + case 487 => + case 488 => + case 489 => + case 490 => + case 491 => + case 492 => + case 493 => + case 494 => + case 495 => + case 496 => + case 497 => + case 498 => + case 499 => + case 500 => + case 501 => + case 502 => + case 503 => + case 504 => + case 505 => + case 506 => + case 507 => + case 508 => + case 509 => + case 510 => + case 511 => + case 512 => + case 513 => + case 514 => + case 515 => + case 516 => + case 517 => + case 518 => + case 519 => + case 520 => + case 521 => + case 522 => + case 523 => + case 524 => + case 525 => + case 526 => + case 527 => + case 528 => + case 529 => + case 530 => + case 531 => + case 532 => + case 533 => + case 534 => + case 535 => + case 536 => + case 537 => + case 538 => + case 539 => + case 540 => + case 541 => + case 542 => + case 543 => + case 544 => + case 545 => + case 546 => + case 547 => + case 548 => + case 549 => + case 550 => + case 551 => + case 552 => + case 553 => + case 554 => + case 555 => + case 556 => + case 557 => + case 558 => + case 559 => + case 560 => + case 561 => + case 562 => + case 563 => + case 564 => + case 565 => + case 566 => + case 567 => + case 568 => + case 569 => + case 570 => + case 571 => + case 572 => + case 573 => + case 574 => + case 575 => + case 576 => + case 577 => + case 578 => + case 579 => + case 580 => + case 581 => + case 582 => + case 583 => + case 584 => + case 585 => + case 586 => + case 587 => + case 588 => + case 589 => + case 590 => + case 591 => + case 592 => + case 593 => + case 594 => + case 595 => + case 596 => + case 597 => + case 598 => + case 599 => + case 600 => + case 601 => + case 602 => + case 603 => + case 604 => + case 605 => + case 606 => + case 607 => + case 608 => + case 609 => + case 610 => + case 611 => + case 612 => + case 613 => + case 614 => + case 615 => + case 616 => + case 617 => + case 618 => + case 619 => + case 620 => + case 621 => + case 622 => + case 623 => + case 624 => + case 625 => + case 626 => + case 627 => + case 628 => + case 629 => + case 630 => + case 631 => + case 632 => + case 633 => + case 634 => + case 635 => + case 636 => + case 637 => + case 638 => + case 639 => + case 640 => + case 641 => + case 642 => + case 643 => + case 644 => + case 645 => + case 646 => + case 647 => + case 648 => + case 649 => + case 650 => + case 651 => + case 652 => + case 653 => + case 654 => + case 655 => + case 656 => + case 657 => + case 658 => + case 659 => + case 660 => + case 661 => + case 662 => + case 663 => + case 664 => + case 665 => + case 666 => + case 667 => + case 668 => + case 669 => + case 670 => + case 671 => + case 672 => + case 673 => + case 674 => + case 675 => + case 676 => + case 677 => + case 678 => + case 679 => + case 680 => + case 681 => + case 682 => + case 683 => + case 684 => + case 685 => + case 686 => + case 687 => + case 688 => + case 689 => + case 690 => + case 691 => + case 692 => + case 693 => + case 694 => + case 695 => + case 696 => + case 697 => + case 698 => + case 699 => + case 700 => + case 701 => + case 702 => + case 703 => + case 704 => + case 705 => + case 706 => + case 707 => + case 708 => + case 709 => + case 710 => + case 711 => + case 712 => + case 713 => + case 714 => + case 715 => + case 716 => + case 717 => + case 718 => + case 719 => + case 720 => + case 721 => + case 722 => + case 723 => + case 724 => + case 725 => + case 726 => + case 727 => + case 728 => + case 729 => + case 730 => + case 731 => + case 732 => + case 733 => + case 734 => + case 735 => + case 736 => + case 737 => + case 738 => + case 739 => + case 740 => + case 741 => + case 742 => + case 743 => + case 744 => + case 745 => + case 746 => + case 747 => + case 748 => + case 749 => + case 750 => + case 751 => + case 752 => + case 753 => + case 754 => + case 755 => + case 756 => + case 757 => + case 758 => + case 759 => + case 760 => + case 761 => + case 762 => + case 763 => + case 764 => + case 765 => + case 766 => + case 767 => + case 768 => + case 769 => + case 770 => + case 771 => + case 772 => + case 773 => + case 774 => + case 775 => + case 776 => + case 777 => + case 778 => + case 779 => + case 780 => + case 781 => + case 782 => + case 783 => + case 784 => + case 785 => + case 786 => + case 787 => + case 788 => + case 789 => + case 790 => + case 791 => + case 792 => + case 793 => + case 794 => + case 795 => + case 796 => + case 797 => + case 798 => + case 799 => + case 800 => + case 801 => + case 802 => + case 803 => + case 804 => + case 805 => + case 806 => + case 807 => + case 808 => + case 809 => + case 810 => + case 811 => + case 812 => + case 813 => + case 814 => + case 815 => + case 816 => + case 817 => + case 818 => + case 819 => + case 820 => + case 821 => + case 822 => + case 823 => + case 824 => + case 825 => + case 826 => + case 827 => + case 828 => + case 829 => + case 830 => + case 831 => + case 832 => + case 833 => + case 834 => + case 835 => + case 836 => + case 837 => + case 838 => + case 839 => + case 840 => + case 841 => + case 842 => + case 843 => + case 844 => + case 845 => + case 846 => + case 847 => + case 848 => + case 849 => + case 850 => + case 851 => + case 852 => + case 853 => + case 854 => + case 855 => + case 856 => + case 857 => + case 858 => + case 859 => + case 860 => + case 861 => + case 862 => + case 863 => + case 864 => + case 865 => + case 866 => + case 867 => + case 868 => + case 869 => + case 870 => + case 871 => + case 872 => + case 873 => + case 874 => + case 875 => + case 876 => + case 877 => + case 878 => + case 879 => + case 880 => + case 881 => + case 882 => + case 883 => + case 884 => + case 885 => + case 886 => + case 887 => + case 888 => + case 889 => + case 890 => + case 891 => + case 892 => + case 893 => + case 894 => + case 895 => + case 896 => + case 897 => + case 898 => + case 899 => + case 900 => + case 901 => + case 902 => + case 903 => + case 904 => + case 905 => + case 906 => + case 907 => + case 908 => + case 909 => + case 910 => + case 911 => + case 912 => + case 913 => + case 914 => + case 915 => + case 916 => + case 917 => + case 918 => + case 919 => + case 920 => + case 921 => + case 922 => + case 923 => + case 924 => + case 925 => + case 926 => + case 927 => + case 928 => + case 929 => + case 930 => + case 931 => + case 932 => + case 933 => + case 934 => + case 935 => + case 936 => + case 937 => + case 938 => + case 939 => + case 940 => + case 941 => + case 942 => + case 943 => + case 944 => + case 945 => + case 946 => + case 947 => + case 948 => + case 949 => + case 950 => + case 951 => + case 952 => + case 953 => + case 954 => + case 955 => + case 956 => + case 957 => + case 958 => + case 959 => + case 960 => + case 961 => + case 962 => + case 963 => + case 964 => + case 965 => + case 966 => + case 967 => + case 968 => + case 969 => + case 970 => + case 971 => + case 972 => + case 973 => + case 974 => + case 975 => + case 976 => + case 977 => + case 978 => + case 979 => + case 980 => + case 981 => + case 982 => + case 983 => + case 984 => + case 985 => + case 986 => + case 987 => + case 988 => + case 989 => + case 990 => + case 991 => + case 992 => + case 993 => + case 994 => + case 995 => + case 996 => + case 997 => + case 998 => + case 999 => + case 1000 => + } \ No newline at end of file