@@ -13834,7 +13834,7 @@ module TyconConstraintInference =
1383413834 match structuralTypes |> List.tryFind (fst >> checkIfFieldTypeSupportsComparison tycon >> not) with
1383513835 | None ->
1383613836 assert false
13837- failwith "unreachble "
13837+ failwith "unreachable "
1383813838 | Some (ty,_) ->
1383913839 if isTyparTy g ty then
1384013840 errorR(Error(FSComp.SR.tcStructuralComparisonNotSatisfied1(tycon.DisplayName,NicePrint.prettyStringOfTy denv ty),tycon.Range))
@@ -13847,7 +13847,7 @@ module TyconConstraintInference =
1384713847 match structuralTypes |> List.tryFind (fst >> checkIfFieldTypeSupportsComparison tycon >> not) with
1384813848 | None ->
1384913849 assert false
13850- failwith "unreachble "
13850+ failwith "unreachable "
1385113851 | Some (ty,_) ->
1385213852 // NOTE: these warnings are off by default - they are level 4 informational warnings
1385313853 // PERF: this call to prettyStringOfTy is always being executed, even when the warning
@@ -13961,7 +13961,7 @@ module TyconConstraintInference =
1396113961 match structuralTypes |> List.tryFind (fst >> checkIfFieldTypeSupportsEquality tycon >> not) with
1396213962 | None ->
1396313963 assert false
13964- failwith "unreachble "
13964+ failwith "unreachable "
1396513965 | Some (ty,_) ->
1396613966 if isTyparTy g ty then
1396713967 errorR(Error(FSComp.SR.tcStructuralEqualityNotSatisfied1(tycon.DisplayName,NicePrint.prettyStringOfTy denv ty),tycon.Range))
@@ -13976,7 +13976,7 @@ module TyconConstraintInference =
1397613976 match structuralTypes |> List.tryFind (fst >> checkIfFieldTypeSupportsEquality tycon >> not) with
1397713977 | None ->
1397813978 assert false
13979- failwith "unreachble "
13979+ failwith "unreachable "
1398013980 | Some (ty,_) ->
1398113981 if isTyparTy g ty then
1398213982 warning(Error(FSComp.SR.tcNoEqualityNeeded1(tycon.DisplayName, NicePrint.prettyStringOfTy denv ty, tycon.DisplayName),tycon.Range))