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