@@ -199,9 +199,6 @@ pub enum TypeOrigin {
199
199
// Computing common supertype of an if expression with no else counter-part
200
200
IfExpressionWithNoElse ( Span ) ,
201
201
202
- // Computing common supertype in a range expression
203
- RangeExpression ( Span ) ,
204
-
205
202
// `where a == b`
206
203
EquatePredicate ( Span ) ,
207
204
@@ -231,7 +228,6 @@ impl TypeOrigin {
231
228
} ,
232
229
& TypeOrigin :: IfExpression ( _) => "if and else have incompatible types" ,
233
230
& TypeOrigin :: IfExpressionWithNoElse ( _) => "if may be missing an else clause" ,
234
- & TypeOrigin :: RangeExpression ( _) => "start and end of range have incompatible types" ,
235
231
& TypeOrigin :: EquatePredicate ( _) => "equality predicate not satisfied" ,
236
232
& TypeOrigin :: MainFunctionType ( _) => "main function has wrong type" ,
237
233
& TypeOrigin :: StartFunctionType ( _) => "start function has wrong type" ,
@@ -251,7 +247,6 @@ impl TypeOrigin {
251
247
& TypeOrigin :: MatchExpressionArm ( ..) => "match arms have compatible types" ,
252
248
& TypeOrigin :: IfExpression ( _) => "if and else have compatible types" ,
253
249
& TypeOrigin :: IfExpressionWithNoElse ( _) => "if missing an else returns ()" ,
254
- & TypeOrigin :: RangeExpression ( _) => "start and end of range have compatible types" ,
255
250
& TypeOrigin :: EquatePredicate ( _) => "equality where clause is satisfied" ,
256
251
& TypeOrigin :: MainFunctionType ( _) => "`main` function has the correct type" ,
257
252
& TypeOrigin :: StartFunctionType ( _) => "`start` function has the correct type" ,
@@ -1755,7 +1750,6 @@ impl TypeOrigin {
1755
1750
TypeOrigin :: MatchExpressionArm ( match_span, ..) => match_span,
1756
1751
TypeOrigin :: IfExpression ( span) => span,
1757
1752
TypeOrigin :: IfExpressionWithNoElse ( span) => span,
1758
- TypeOrigin :: RangeExpression ( span) => span,
1759
1753
TypeOrigin :: EquatePredicate ( span) => span,
1760
1754
TypeOrigin :: MainFunctionType ( span) => span,
1761
1755
TypeOrigin :: StartFunctionType ( span) => span,
0 commit comments