File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -573,7 +573,7 @@ fn var_drop_used_simple() {
573573fn illegal_subset_error ( ) {
574574 let program = r"
575575 placeholders { 'a, 'b }
576-
576+
577577 block B0 {
578578 // creates a transitive `'b: 'a` subset
579579 loan_issued_at('x, L0),
@@ -638,7 +638,7 @@ fn transitive_known_subset() {
638638 let program = r"
639639 placeholders { 'a, 'b, 'c }
640640 known_subsets { 'a: 'b, 'b: 'c }
641-
641+
642642 block B0 {
643643 loan_issued_at('x, L0),
644644 outlives('a: 'x),
@@ -670,7 +670,7 @@ fn transitive_illegal_subset_error() {
670670 let program = r"
671671 placeholders { 'a, 'b, 'c }
672672 known_subsets { 'a: 'b }
673-
673+
674674 block B0 {
675675 // this transitive `'a: 'b` subset is already known
676676 loan_issued_at('x, L0),
@@ -679,7 +679,7 @@ fn transitive_illegal_subset_error() {
679679
680680 // creates unknown transitive subsets:
681681 // - `'b: 'c`
682- // - and therefore `'a: 'c`
682+ // - and therefore `'a: 'c`
683683 loan_issued_at('y, L1),
684684 outlives('b: 'y),
685685 outlives('y: 'c);
You can’t perform that action at this time.
0 commit comments