@@ -24,7 +24,6 @@ use crate::{ResolutionError, Resolver, Scope, ScopeSet, Segment, ToNameBinding,
24
24
25
25
use Determinacy :: * ;
26
26
use Namespace :: * ;
27
- use RibKind :: * ;
28
27
29
28
type Visibility = ty:: Visibility < LocalDefId > ;
30
29
@@ -324,8 +323,8 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
324
323
}
325
324
326
325
module = match ribs[ i] . kind {
327
- ModuleRibKind ( module) => module,
328
- MacroDefinition ( def) if def == self . macro_def ( ident. span . ctxt ( ) ) => {
326
+ RibKind :: Module ( module) => module,
327
+ RibKind :: MacroDefinition ( def) if def == self . macro_def ( ident. span . ctxt ( ) ) => {
329
328
// If an invocation of this macro created `ident`, give up on `ident`
330
329
// and switch to `ident`'s source from the macro definition.
331
330
ident. span . remove_mark ( ) ;
@@ -1084,7 +1083,7 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
1084
1083
let ribs = & all_ribs[ rib_index + 1 ..] ;
1085
1084
1086
1085
// An invalid forward use of a generic parameter from a previous default.
1087
- if let ForwardGenericParamBanRibKind = all_ribs[ rib_index] . kind {
1086
+ if let RibKind :: ForwardGenericParamBan = all_ribs[ rib_index] . kind {
1088
1087
if let Some ( span) = finalize {
1089
1088
let res_error = if rib_ident. name == kw:: SelfUpper {
1090
1089
ResolutionError :: SelfInGenericParamDefault
@@ -1104,14 +1103,14 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
1104
1103
1105
1104
for rib in ribs {
1106
1105
match rib. kind {
1107
- NormalRibKind
1108
- | ClosureOrAsyncRibKind
1109
- | ModuleRibKind ( ..)
1110
- | MacroDefinition ( ..)
1111
- | ForwardGenericParamBanRibKind => {
1106
+ RibKind :: Normal
1107
+ | RibKind :: ClosureOrAsync
1108
+ | RibKind :: Module ( ..)
1109
+ | RibKind :: MacroDefinition ( ..)
1110
+ | RibKind :: ForwardGenericParamBan => {
1112
1111
// Nothing to do. Continue.
1113
1112
}
1114
- ItemRibKind ( _) | AssocItemRibKind => {
1113
+ RibKind :: Item ( _) | RibKind :: AssocItem => {
1115
1114
// This was an attempt to access an upvar inside a
1116
1115
// named function item. This is not allowed, so we
1117
1116
// report an error.
@@ -1123,7 +1122,7 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
1123
1122
res_err = Some ( ( span, CannotCaptureDynamicEnvironmentInFnItem ) ) ;
1124
1123
}
1125
1124
}
1126
- ConstantItemRibKind ( _, item) => {
1125
+ RibKind :: ConstantItem ( _, item) => {
1127
1126
// Still doesn't deal with upvars
1128
1127
if let Some ( span) = finalize {
1129
1128
let ( span, resolution_error) =
@@ -1152,13 +1151,13 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
1152
1151
}
1153
1152
return Res :: Err ;
1154
1153
}
1155
- ConstParamTyRibKind => {
1154
+ RibKind :: ConstParamTy => {
1156
1155
if let Some ( span) = finalize {
1157
1156
self . report_error ( span, ParamInTyOfConstParam ( rib_ident. name ) ) ;
1158
1157
}
1159
1158
return Res :: Err ;
1160
1159
}
1161
- InlineAsmSymRibKind => {
1160
+ RibKind :: InlineAsmSym => {
1162
1161
if let Some ( span) = finalize {
1163
1162
self . report_error ( span, InvalidAsmSym ) ;
1164
1163
}
@@ -1177,18 +1176,18 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
1177
1176
| Res :: SelfCtor ( _) => {
1178
1177
for rib in ribs {
1179
1178
let has_generic_params: HasGenericParams = match rib. kind {
1180
- NormalRibKind
1181
- | ClosureOrAsyncRibKind
1182
- | ModuleRibKind ( ..)
1183
- | MacroDefinition ( ..)
1184
- | InlineAsmSymRibKind
1185
- | AssocItemRibKind
1186
- | ForwardGenericParamBanRibKind => {
1179
+ RibKind :: Normal
1180
+ | RibKind :: ClosureOrAsync
1181
+ | RibKind :: Module ( ..)
1182
+ | RibKind :: MacroDefinition ( ..)
1183
+ | RibKind :: InlineAsmSym
1184
+ | RibKind :: AssocItem
1185
+ | RibKind :: ForwardGenericParamBan => {
1187
1186
// Nothing to do. Continue.
1188
1187
continue ;
1189
1188
}
1190
1189
1191
- ConstantItemRibKind ( trivial, _) => {
1190
+ RibKind :: ConstantItem ( trivial, _) => {
1192
1191
let features = self . tcx . sess . features_untracked ( ) ;
1193
1192
// HACK(min_const_generics): We currently only allow `N` or `{ N }`.
1194
1193
if !( trivial == ConstantHasGenerics :: Yes
@@ -1229,8 +1228,8 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
1229
1228
}
1230
1229
1231
1230
// This was an attempt to use a type parameter outside its scope.
1232
- ItemRibKind ( has_generic_params) => has_generic_params,
1233
- ConstParamTyRibKind => {
1231
+ RibKind :: Item ( has_generic_params) => has_generic_params,
1232
+ RibKind :: ConstParamTy => {
1234
1233
if let Some ( span) = finalize {
1235
1234
self . report_error (
1236
1235
span,
@@ -1256,15 +1255,15 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
1256
1255
Res :: Def ( DefKind :: ConstParam , _) => {
1257
1256
for rib in ribs {
1258
1257
let has_generic_params = match rib. kind {
1259
- NormalRibKind
1260
- | ClosureOrAsyncRibKind
1261
- | ModuleRibKind ( ..)
1262
- | MacroDefinition ( ..)
1263
- | InlineAsmSymRibKind
1264
- | AssocItemRibKind
1265
- | ForwardGenericParamBanRibKind => continue ,
1266
-
1267
- ConstantItemRibKind ( trivial, _) => {
1258
+ RibKind :: Normal
1259
+ | RibKind :: ClosureOrAsync
1260
+ | RibKind :: Module ( ..)
1261
+ | RibKind :: MacroDefinition ( ..)
1262
+ | RibKind :: InlineAsmSym
1263
+ | RibKind :: AssocItem
1264
+ | RibKind :: ForwardGenericParamBan => continue ,
1265
+
1266
+ RibKind :: ConstantItem ( trivial, _) => {
1268
1267
let features = self . tcx . sess . features_untracked ( ) ;
1269
1268
// HACK(min_const_generics): We currently only allow `N` or `{ N }`.
1270
1269
if !( trivial == ConstantHasGenerics :: Yes
@@ -1287,8 +1286,8 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
1287
1286
continue ;
1288
1287
}
1289
1288
1290
- ItemRibKind ( has_generic_params) => has_generic_params,
1291
- ConstParamTyRibKind => {
1289
+ RibKind :: Item ( has_generic_params) => has_generic_params,
1290
+ RibKind :: ConstParamTy => {
1292
1291
if let Some ( span) = finalize {
1293
1292
self . report_error (
1294
1293
span,
0 commit comments