@@ -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
}
@@ -1174,18 +1173,18 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
1174
1173
Res :: Def ( DefKind :: TyParam , _) | Res :: SelfTyParam { .. } | Res :: SelfTyAlias { .. } => {
1175
1174
for rib in ribs {
1176
1175
let has_generic_params: HasGenericParams = match rib. kind {
1177
- NormalRibKind
1178
- | ClosureOrAsyncRibKind
1179
- | ModuleRibKind ( ..)
1180
- | MacroDefinition ( ..)
1181
- | InlineAsmSymRibKind
1182
- | AssocItemRibKind
1183
- | ForwardGenericParamBanRibKind => {
1176
+ RibKind :: Normal
1177
+ | RibKind :: ClosureOrAsync
1178
+ | RibKind :: Module ( ..)
1179
+ | RibKind :: MacroDefinition ( ..)
1180
+ | RibKind :: InlineAsmSym
1181
+ | RibKind :: AssocItem
1182
+ | RibKind :: ForwardGenericParamBan => {
1184
1183
// Nothing to do. Continue.
1185
1184
continue ;
1186
1185
}
1187
1186
1188
- ConstantItemRibKind ( trivial, _) => {
1187
+ RibKind :: ConstantItem ( trivial, _) => {
1189
1188
let features = self . tcx . sess . features_untracked ( ) ;
1190
1189
// HACK(min_const_generics): We currently only allow `N` or `{ N }`.
1191
1190
if !( trivial == ConstantHasGenerics :: Yes
@@ -1226,8 +1225,8 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
1226
1225
}
1227
1226
1228
1227
// This was an attempt to use a type parameter outside its scope.
1229
- ItemRibKind ( has_generic_params) => has_generic_params,
1230
- ConstParamTyRibKind => {
1228
+ RibKind :: Item ( has_generic_params) => has_generic_params,
1229
+ RibKind :: ConstParamTy => {
1231
1230
if let Some ( span) = finalize {
1232
1231
self . report_error (
1233
1232
span,
@@ -1253,15 +1252,15 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
1253
1252
Res :: Def ( DefKind :: ConstParam , _) => {
1254
1253
for rib in ribs {
1255
1254
let has_generic_params = match rib. kind {
1256
- NormalRibKind
1257
- | ClosureOrAsyncRibKind
1258
- | ModuleRibKind ( ..)
1259
- | MacroDefinition ( ..)
1260
- | InlineAsmSymRibKind
1261
- | AssocItemRibKind
1262
- | ForwardGenericParamBanRibKind => continue ,
1263
-
1264
- ConstantItemRibKind ( trivial, _) => {
1255
+ RibKind :: Normal
1256
+ | RibKind :: ClosureOrAsync
1257
+ | RibKind :: Module ( ..)
1258
+ | RibKind :: MacroDefinition ( ..)
1259
+ | RibKind :: InlineAsmSym
1260
+ | RibKind :: AssocItem
1261
+ | RibKind :: ForwardGenericParamBan => continue ,
1262
+
1263
+ RibKind :: ConstantItem ( trivial, _) => {
1265
1264
let features = self . tcx . sess . features_untracked ( ) ;
1266
1265
// HACK(min_const_generics): We currently only allow `N` or `{ N }`.
1267
1266
if !( trivial == ConstantHasGenerics :: Yes
@@ -1284,8 +1283,8 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
1284
1283
continue ;
1285
1284
}
1286
1285
1287
- ItemRibKind ( has_generic_params) => has_generic_params,
1288
- ConstParamTyRibKind => {
1286
+ RibKind :: Item ( has_generic_params) => has_generic_params,
1287
+ RibKind :: ConstParamTy => {
1289
1288
if let Some ( span) = finalize {
1290
1289
self . report_error (
1291
1290
span,
0 commit comments