@@ -405,8 +405,7 @@ fn unify_rows<'a, U>(unifier: &mut UnifierState<'a, U>,
405
405
406
406
// This default `rest` value will only be used on errors, or if both fields has the same fields
407
407
let mut r_iter = r. row_iter ( ) ;
408
- for _ in r_iter. by_ref ( ) {
409
- }
408
+ for _ in r_iter. by_ref ( ) { }
410
409
let mut rest = r_iter. current_type ( ) . clone ( ) ;
411
410
412
411
// No need to do anything of no fields are missing
@@ -436,8 +435,7 @@ fn unify_rows<'a, U>(unifier: &mut UnifierState<'a, U>,
436
435
// No need to do anything of no fields are missing
437
436
if !missing_from_left. is_empty ( ) {
438
437
let mut l_iter = l. row_iter ( ) ;
439
- for _ in l_iter. by_ref ( ) {
440
- }
438
+ for _ in l_iter. by_ref ( ) { }
441
439
442
440
match * * l_iter. current_type ( ) {
443
441
Type :: EmptyRow => {
@@ -529,7 +527,8 @@ fn find_alias_<'a, U>(unifier: &mut UnifierState<'a, U>,
529
527
/// either the same types that were passed in or two types which have the same alias in their spine
530
528
///
531
529
/// Example:
532
- /// ```
530
+ ///
531
+ /// ```f#
533
532
/// type Test a = | Test a Int
534
533
/// type Test2 = Test String
535
534
///
@@ -778,8 +777,7 @@ mod tests {
778
777
Ok ( result) => {
779
778
// Get the row variable at the end of the resulting type so we can compare the types
780
779
let mut iter = result. row_iter ( ) ;
781
- for _ in iter. by_ref ( ) {
782
- }
780
+ for _ in iter. by_ref ( ) { }
783
781
let row_variable = iter. current_type ( ) . clone ( ) ;
784
782
let expected = Type :: poly_record ( vec ! [ ] , vec ! [ x. clone( ) , y. clone( ) ] , row_variable) ;
785
783
assert_eq ! ( result, expected) ;
0 commit comments