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() {
573
573
fn illegal_subset_error ( ) {
574
574
let program = r"
575
575
placeholders { 'a, 'b }
576
-
576
+
577
577
block B0 {
578
578
// creates a transitive `'b: 'a` subset
579
579
loan_issued_at('x, L0),
@@ -638,7 +638,7 @@ fn transitive_known_subset() {
638
638
let program = r"
639
639
placeholders { 'a, 'b, 'c }
640
640
known_subsets { 'a: 'b, 'b: 'c }
641
-
641
+
642
642
block B0 {
643
643
loan_issued_at('x, L0),
644
644
outlives('a: 'x),
@@ -670,7 +670,7 @@ fn transitive_illegal_subset_error() {
670
670
let program = r"
671
671
placeholders { 'a, 'b, 'c }
672
672
known_subsets { 'a: 'b }
673
-
673
+
674
674
block B0 {
675
675
// this transitive `'a: 'b` subset is already known
676
676
loan_issued_at('x, L0),
@@ -679,7 +679,7 @@ fn transitive_illegal_subset_error() {
679
679
680
680
// creates unknown transitive subsets:
681
681
// - `'b: 'c`
682
- // - and therefore `'a: 'c`
682
+ // - and therefore `'a: 'c`
683
683
loan_issued_at('y, L1),
684
684
outlives('b: 'y),
685
685
outlives('y: 'c);
You can’t perform that action at this time.
0 commit comments