@@ -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" ,
@@ -1742,7 +1737,6 @@ impl TypeOrigin {
1742
1737
TypeOrigin :: MatchExpressionArm ( match_span, ..) => match_span,
1743
1738
TypeOrigin :: IfExpression ( span) => span,
1744
1739
TypeOrigin :: IfExpressionWithNoElse ( span) => span,
1745
- TypeOrigin :: RangeExpression ( span) => span,
1746
1740
TypeOrigin :: EquatePredicate ( span) => span,
1747
1741
TypeOrigin :: MainFunctionType ( span) => span,
1748
1742
TypeOrigin :: StartFunctionType ( span) => span,
0 commit comments