Skip to content

Commit 6115ed9

Browse files
CodaFiCodaFi
committed
Test for SR-6652, SR-6316
1 parent 04c88aa commit 6115ed9

File tree

2 files changed

+266
-28
lines changed

2 files changed

+266
-28
lines changed

‎test/FixCode/fixits-switch-nonfrozen.swift.result

Lines changed: 266 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -324,8 +324,270 @@ func quiteBigEnough() -> Bool {
324324
case (.case9, .case9): return true
325325
case (.case10, .case10): return true
326326
case (.case11, .case11): return true
327-
default:
328-
<#fatalError()#>
327+
case (.case11, .case0):
328+
<#code#>
329+
case (.case11, .case1):
330+
<#code#>
331+
case (.case11, .case2):
332+
<#code#>
333+
case (.case11, .case3):
334+
<#code#>
335+
case (.case11, .case4):
336+
<#code#>
337+
case (.case11, .case5):
338+
<#code#>
339+
case (.case11, .case6):
340+
<#code#>
341+
case (.case11, .case7):
342+
<#code#>
343+
case (.case11, .case8):
344+
<#code#>
345+
case (.case11, .case9):
346+
<#code#>
347+
case (.case11, .case10):
348+
<#code#>
349+
case (.case10, .case0):
350+
<#code#>
351+
case (.case10, .case1):
352+
<#code#>
353+
case (.case10, .case2):
354+
<#code#>
355+
case (.case10, .case3):
356+
<#code#>
357+
case (.case10, .case4):
358+
<#code#>
359+
case (.case10, .case5):
360+
<#code#>
361+
case (.case10, .case6):
362+
<#code#>
363+
case (.case10, .case7):
364+
<#code#>
365+
case (.case10, .case8):
366+
<#code#>
367+
case (.case10, .case9):
368+
<#code#>
369+
case (.case10, .case11):
370+
<#code#>
371+
case (.case9, .case0):
372+
<#code#>
373+
case (.case9, .case1):
374+
<#code#>
375+
case (.case9, .case2):
376+
<#code#>
377+
case (.case9, .case3):
378+
<#code#>
379+
case (.case9, .case4):
380+
<#code#>
381+
case (.case9, .case5):
382+
<#code#>
383+
case (.case9, .case6):
384+
<#code#>
385+
case (.case9, .case7):
386+
<#code#>
387+
case (.case9, .case8):
388+
<#code#>
389+
case (.case9, .case10):
390+
<#code#>
391+
case (.case9, .case11):
392+
<#code#>
393+
case (.case8, .case0):
394+
<#code#>
395+
case (.case8, .case1):
396+
<#code#>
397+
case (.case8, .case2):
398+
<#code#>
399+
case (.case8, .case3):
400+
<#code#>
401+
case (.case8, .case4):
402+
<#code#>
403+
case (.case8, .case5):
404+
<#code#>
405+
case (.case8, .case6):
406+
<#code#>
407+
case (.case8, .case7):
408+
<#code#>
409+
case (.case8, .case9):
410+
<#code#>
411+
case (.case8, .case10):
412+
<#code#>
413+
case (.case8, .case11):
414+
<#code#>
415+
case (.case7, .case0):
416+
<#code#>
417+
case (.case7, .case1):
418+
<#code#>
419+
case (.case7, .case2):
420+
<#code#>
421+
case (.case7, .case3):
422+
<#code#>
423+
case (.case7, .case4):
424+
<#code#>
425+
case (.case7, .case5):
426+
<#code#>
427+
case (.case7, .case6):
428+
<#code#>
429+
case (.case7, .case8):
430+
<#code#>
431+
case (.case7, .case9):
432+
<#code#>
433+
case (.case7, .case10):
434+
<#code#>
435+
case (.case7, .case11):
436+
<#code#>
437+
case (.case6, .case0):
438+
<#code#>
439+
case (.case6, .case1):
440+
<#code#>
441+
case (.case6, .case2):
442+
<#code#>
443+
case (.case6, .case3):
444+
<#code#>
445+
case (.case6, .case4):
446+
<#code#>
447+
case (.case6, .case5):
448+
<#code#>
449+
case (.case6, .case7):
450+
<#code#>
451+
case (.case6, .case8):
452+
<#code#>
453+
case (.case6, .case9):
454+
<#code#>
455+
case (.case6, .case10):
456+
<#code#>
457+
case (.case6, .case11):
458+
<#code#>
459+
case (.case5, .case0):
460+
<#code#>
461+
case (.case5, .case1):
462+
<#code#>
463+
case (.case5, .case2):
464+
<#code#>
465+
case (.case5, .case3):
466+
<#code#>
467+
case (.case5, .case4):
468+
<#code#>
469+
case (.case5, .case6):
470+
<#code#>
471+
case (.case5, .case7):
472+
<#code#>
473+
case (.case5, .case8):
474+
<#code#>
475+
case (.case5, .case9):
476+
<#code#>
477+
case (.case5, .case10):
478+
<#code#>
479+
case (.case5, .case11):
480+
<#code#>
481+
case (.case4, .case0):
482+
<#code#>
483+
case (.case4, .case1):
484+
<#code#>
485+
case (.case4, .case2):
486+
<#code#>
487+
case (.case4, .case3):
488+
<#code#>
489+
case (.case4, .case5):
490+
<#code#>
491+
case (.case4, .case6):
492+
<#code#>
493+
case (.case4, .case7):
494+
<#code#>
495+
case (.case4, .case8):
496+
<#code#>
497+
case (.case4, .case9):
498+
<#code#>
499+
case (.case4, .case10):
500+
<#code#>
501+
case (.case4, .case11):
502+
<#code#>
503+
case (.case3, .case0):
504+
<#code#>
505+
case (.case3, .case1):
506+
<#code#>
507+
case (.case3, .case2):
508+
<#code#>
509+
case (.case3, .case4):
510+
<#code#>
511+
case (.case3, .case5):
512+
<#code#>
513+
case (.case3, .case6):
514+
<#code#>
515+
case (.case3, .case7):
516+
<#code#>
517+
case (.case3, .case8):
518+
<#code#>
519+
case (.case3, .case9):
520+
<#code#>
521+
case (.case3, .case10):
522+
<#code#>
523+
case (.case3, .case11):
524+
<#code#>
525+
case (.case2, .case0):
526+
<#code#>
527+
case (.case2, .case1):
528+
<#code#>
529+
case (.case2, .case3):
530+
<#code#>
531+
case (.case2, .case4):
532+
<#code#>
533+
case (.case2, .case5):
534+
<#code#>
535+
case (.case2, .case6):
536+
<#code#>
537+
case (.case2, .case7):
538+
<#code#>
539+
case (.case2, .case8):
540+
<#code#>
541+
case (.case2, .case9):
542+
<#code#>
543+
case (.case2, .case10):
544+
<#code#>
545+
case (.case2, .case11):
546+
<#code#>
547+
case (.case1, .case0):
548+
<#code#>
549+
case (.case1, .case2):
550+
<#code#>
551+
case (.case1, .case3):
552+
<#code#>
553+
case (.case1, .case4):
554+
<#code#>
555+
case (.case1, .case5):
556+
<#code#>
557+
case (.case1, .case6):
558+
<#code#>
559+
case (.case1, .case7):
560+
<#code#>
561+
case (.case1, .case8):
562+
<#code#>
563+
case (.case1, .case9):
564+
<#code#>
565+
case (.case1, .case10):
566+
<#code#>
567+
case (.case1, .case11):
568+
<#code#>
569+
case (.case0, .case1):
570+
<#code#>
571+
case (.case0, .case2):
572+
<#code#>
573+
case (.case0, .case3):
574+
<#code#>
575+
case (.case0, .case4):
576+
<#code#>
577+
case (.case0, .case5):
578+
<#code#>
579+
case (.case0, .case6):
580+
<#code#>
581+
case (.case0, .case7):
582+
<#code#>
583+
case (.case0, .case8):
584+
<#code#>
585+
case (.case0, .case9):
586+
<#code#>
587+
case (.case0, .case10):
588+
<#code#>
589+
case (.case0, .case11):
590+
<#code#>
329591
}
330592

331593
switch (OverlyLargeSpaceEnum.case1, OverlyLargeSpaceEnum.case2) {
@@ -340,8 +602,8 @@ func quiteBigEnough() -> Bool {
340602
case (.case8, _): return true
341603
case (.case9, _): return true
342604
case (.case10, _): return true
343-
default:
344-
<#fatalError()#>
605+
case (.case11, _):
606+
<#code#>
345607
}
346608
}
347609

‎test/Sema/exhaustive_switch.swift

Lines changed: 0 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -464,10 +464,6 @@ enum OverlyLargeSpaceEnum {
464464
case case9
465465
case case10
466466
case case11
467-
case case12
468-
case case13
469-
case case14
470-
case case15
471467
}
472468

473469
enum ContainsOverlyLargeEnum {
@@ -491,10 +487,6 @@ func quiteBigEnough() -> Bool {
491487
case (.case9, .case9): return true
492488
case (.case10, .case10): return true
493489
case (.case11, .case11): return true
494-
case (.case12, .case12): return true
495-
case (.case13, .case13): return true
496-
case (.case14, .case14): return true
497-
case (.case15, .case15): return true
498490
}
499491

500492
// No diagnostic
@@ -511,10 +503,6 @@ func quiteBigEnough() -> Bool {
511503
case (.case9, _): return true
512504
case (.case10, _): return true
513505
case (.case11, _): return true
514-
case (.case12, _): return true
515-
case (.case13, _): return true
516-
case (.case14, _): return true
517-
case (.case15, _): return true
518506
}
519507

520508
switch (OverlyLargeSpaceEnum.case1, OverlyLargeSpaceEnum.case2) { // expected-error {{the compiler is unable to check that this switch is exhaustive in reasonable time}}
@@ -530,10 +518,6 @@ func quiteBigEnough() -> Bool {
530518
case (.case9, .case9): return true
531519
case (.case10, .case10): return true
532520
case (.case11, .case11): return true
533-
case (.case12, .case12): return true
534-
case (.case13, .case13): return true
535-
case (.case14, .case14): return true
536-
case (.case15, .case15): return true
537521
@unknown default: return false // expected-note {{remove '@unknown' to handle remaining values}} {{3-12=}}
538522
}
539523

@@ -552,10 +536,6 @@ func quiteBigEnough() -> Bool {
552536
case (.case9, _): return true
553537
case (.case10, _): return true
554538
case (.case11, _): return true
555-
case (.case12, _): return true
556-
case (.case13, _): return true
557-
case (.case14, _): return true
558-
case (.case15, _): return true
559539
}
560540

561541
// No diagnostic
@@ -572,10 +552,6 @@ func quiteBigEnough() -> Bool {
572552
case (_, .case9): return true
573553
case (_, .case10): return true
574554
case (_, .case11): return true
575-
case (_, .case12): return true
576-
case (_, .case13): return true
577-
case (_, .case14): return true
578-
case (_, .case15): return true
579555
}
580556

581557
// No diagnostic

0 commit comments

Comments
 (0)