File tree
7 files changed
+39
-24
lines changed- compiler/src/dotty/tools/dotc
- core
- typer
7 files changed
+39
-24
lines changedLines changed: 7 additions & 11 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
647 | 647 |
| |
648 | 648 |
| |
649 | 649 |
| |
650 |
| - | |
| 650 | + | |
651 | 651 |
| |
652 |
| - | |
| 652 | + | |
653 | 653 |
| |
654 | 654 |
| |
655 | 655 |
| |
| |||
667 | 667 |
| |
668 | 668 |
| |
669 | 669 |
| |
670 |
| - | |
671 |
| - | |
672 |
| - | |
673 |
| - | |
674 | 670 |
| |
675 |
| - | |
| 671 | + | |
676 | 672 |
| |
677 |
| - | |
| 673 | + | |
678 | 674 |
| |
679 | 675 |
| |
680 | 676 |
| |
| |||
711 | 707 |
| |
712 | 708 |
| |
713 | 709 |
| |
714 |
| - | |
| 710 | + | |
715 | 711 |
| |
716 | 712 |
| |
717 |
| - | |
| 713 | + | |
718 | 714 |
| |
719 | 715 |
| |
720 | 716 |
| |
721 | 717 |
| |
722 | 718 |
| |
723 | 719 |
| |
724 | 720 |
| |
725 |
| - | |
| 721 | + | |
726 | 722 |
| |
727 | 723 |
| |
728 | 724 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3253 | 3253 |
| |
3254 | 3254 |
| |
3255 | 3255 |
| |
3256 |
| - | |
3257 |
| - | |
| 3256 | + | |
| 3257 | + | |
3258 | 3258 |
| |
3259 | 3259 |
| |
3260 | 3260 |
| |
| |||
3274 | 3274 |
| |
3275 | 3275 |
| |
3276 | 3276 |
| |
3277 |
| - | |
3278 |
| - | |
| 3277 | + | |
| 3278 | + | |
3279 | 3279 |
| |
3280 | 3280 |
| |
3281 | 3281 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
538 | 538 |
| |
539 | 539 |
| |
540 | 540 |
| |
541 |
| - | |
| 541 | + | |
542 | 542 |
| |
543 | 543 |
| |
544 | 544 |
| |
|
Lines changed: 23 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
328 | 328 |
| |
329 | 329 |
| |
330 | 330 |
| |
| 331 | + | |
| 332 | + | |
| 333 | + | |
| 334 | + | |
| 335 | + | |
| 336 | + | |
| 337 | + | |
| 338 | + | |
| 339 | + | |
| 340 | + | |
| 341 | + | |
331 | 342 |
| |
332 | 343 |
| |
333 | 344 |
| |
| |||
4934 | 4945 |
| |
4935 | 4946 |
| |
4936 | 4947 |
| |
| 4948 | + | |
| 4949 | + | |
| 4950 | + | |
| 4951 | + | |
| 4952 | + | |
| 4953 | + | |
4937 | 4954 |
| |
4938 |
| - | |
| 4955 | + | |
4939 | 4956 |
| |
4940 | 4957 |
| |
4941 | 4958 |
| |
| |||
4951 | 4968 |
| |
4952 | 4969 |
| |
4953 | 4970 |
| |
4954 |
| - | |
4955 |
| - | |
4956 |
| - | |
4957 | 4971 |
| |
4958 | 4972 |
| |
4959 | 4973 |
| |
| |||
4996 | 5010 |
| |
4997 | 5011 |
| |
4998 | 5012 |
| |
| 5013 | + | |
| 5014 | + | |
| 5015 | + | |
| 5016 | + | |
| 5017 | + | |
4999 | 5018 |
| |
5000 | 5019 |
| |
5001 | 5020 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2073 | 2073 |
| |
2074 | 2074 |
| |
2075 | 2075 |
| |
2076 |
| - | |
| 2076 | + | |
2077 | 2077 |
| |
2078 | 2078 |
| |
2079 | 2079 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
533 | 533 |
| |
534 | 534 |
| |
535 | 535 |
| |
536 |
| - | |
| 536 | + | |
537 | 537 |
| |
538 | 538 |
| |
539 | 539 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3239 | 3239 |
| |
3240 | 3240 |
| |
3241 | 3241 |
| |
3242 |
| - | |
3243 |
| - | |
| 3242 | + | |
| 3243 | + | |
3244 | 3244 |
| |
3245 | 3245 |
| |
3246 | 3246 |
| |
|
0 commit comments