@@ -903,6 +903,8 @@ impl EncodeContext<'a, 'tcx> {
903
903
let v = self . tcx . variances_of ( def_id) ;
904
904
record ! ( self . tables. variances[ def_id] <- v) ;
905
905
}
906
+ let g = tcx. generics_of ( def_id) ;
907
+ record ! ( self . tables. generics[ def_id] <- g) ;
906
908
}
907
909
let inherent_impls = tcx. crate_inherent_impls ( LOCAL_CRATE ) ;
908
910
for ( def_id, implementations) in inherent_impls. inherent_impls . iter ( ) {
@@ -948,7 +950,6 @@ impl EncodeContext<'a, 'tcx> {
948
950
record ! ( self . tables. fn_sig[ def_id] <- tcx. fn_sig( ctor_def_id) ) ;
949
951
}
950
952
}
951
- self . encode_generics ( def_id) ;
952
953
self . encode_explicit_predicates ( def_id) ;
953
954
self . encode_inferred_outlives ( def_id) ;
954
955
}
@@ -972,7 +973,6 @@ impl EncodeContext<'a, 'tcx> {
972
973
if variant. ctor_kind == CtorKind :: Fn {
973
974
record ! ( self . tables. fn_sig[ def_id] <- tcx. fn_sig( def_id) ) ;
974
975
}
975
- self . encode_generics ( def_id) ;
976
976
self . encode_explicit_predicates ( def_id) ;
977
977
self . encode_inferred_outlives ( def_id) ;
978
978
}
@@ -1033,7 +1033,6 @@ impl EncodeContext<'a, 'tcx> {
1033
1033
record ! ( self . tables. kind[ def_id] <- EntryKind :: Field ) ;
1034
1034
self . encode_ident_span ( def_id, field. ident ) ;
1035
1035
self . encode_item_type ( def_id) ;
1036
- self . encode_generics ( def_id) ;
1037
1036
self . encode_explicit_predicates ( def_id) ;
1038
1037
self . encode_inferred_outlives ( def_id) ;
1039
1038
}
@@ -1055,16 +1054,10 @@ impl EncodeContext<'a, 'tcx> {
1055
1054
if variant. ctor_kind == CtorKind :: Fn {
1056
1055
record ! ( self . tables. fn_sig[ def_id] <- tcx. fn_sig( def_id) ) ;
1057
1056
}
1058
- self . encode_generics ( def_id) ;
1059
1057
self . encode_explicit_predicates ( def_id) ;
1060
1058
self . encode_inferred_outlives ( def_id) ;
1061
1059
}
1062
1060
1063
- fn encode_generics ( & mut self , def_id : DefId ) {
1064
- debug ! ( "EncodeContext::encode_generics({:?})" , def_id) ;
1065
- record ! ( self . tables. generics[ def_id] <- self . tcx. generics_of( def_id) ) ;
1066
- }
1067
-
1068
1061
fn encode_explicit_predicates ( & mut self , def_id : DefId ) {
1069
1062
debug ! ( "EncodeContext::encode_explicit_predicates({:?})" , def_id) ;
1070
1063
record ! ( self . tables. explicit_predicates[ def_id] <-
@@ -1159,7 +1152,6 @@ impl EncodeContext<'a, 'tcx> {
1159
1152
if trait_item. kind == ty:: AssocKind :: Fn {
1160
1153
record ! ( self . tables. fn_sig[ def_id] <- tcx. fn_sig( def_id) ) ;
1161
1154
}
1162
- self . encode_generics ( def_id) ;
1163
1155
self . encode_explicit_predicates ( def_id) ;
1164
1156
self . encode_inferred_outlives ( def_id) ;
1165
1157
}
@@ -1219,7 +1211,6 @@ impl EncodeContext<'a, 'tcx> {
1219
1211
if impl_item. kind == ty:: AssocKind :: Fn {
1220
1212
record ! ( self . tables. fn_sig[ def_id] <- tcx. fn_sig( def_id) ) ;
1221
1213
}
1222
- self . encode_generics ( def_id) ;
1223
1214
self . encode_explicit_predicates ( def_id) ;
1224
1215
self . encode_inferred_outlives ( def_id) ;
1225
1216
}
@@ -1498,7 +1489,6 @@ impl EncodeContext<'a, 'tcx> {
1498
1489
| hir:: ItemKind :: OpaqueTy ( ..)
1499
1490
| hir:: ItemKind :: Trait ( ..)
1500
1491
| hir:: ItemKind :: TraitAlias ( ..) => {
1501
- self . encode_generics ( def_id) ;
1502
1492
self . encode_explicit_predicates ( def_id) ;
1503
1493
self . encode_inferred_outlives ( def_id) ;
1504
1494
}
@@ -1550,7 +1540,6 @@ impl EncodeContext<'a, 'tcx> {
1550
1540
if let ty:: Closure ( def_id, substs) = * ty. kind ( ) {
1551
1541
record ! ( self . tables. fn_sig[ def_id] <- substs. as_closure( ) . sig( ) ) ;
1552
1542
}
1553
- self . encode_generics ( def_id. to_def_id ( ) ) ;
1554
1543
}
1555
1544
1556
1545
fn encode_info_for_anon_const ( & mut self , def_id : LocalDefId ) {
@@ -1562,7 +1551,6 @@ impl EncodeContext<'a, 'tcx> {
1562
1551
1563
1552
record ! ( self . tables. kind[ def_id. to_def_id( ) ] <- EntryKind :: AnonConst ( qualifs, const_data) ) ;
1564
1553
self . encode_item_type ( def_id. to_def_id ( ) ) ;
1565
- self . encode_generics ( def_id. to_def_id ( ) ) ;
1566
1554
self . encode_explicit_predicates ( def_id. to_def_id ( ) ) ;
1567
1555
self . encode_inferred_outlives ( def_id. to_def_id ( ) ) ;
1568
1556
}
@@ -1844,7 +1832,6 @@ impl EncodeContext<'a, 'tcx> {
1844
1832
if let hir:: ForeignItemKind :: Fn ( ..) = nitem. kind {
1845
1833
record ! ( self . tables. fn_sig[ def_id] <- tcx. fn_sig( def_id) ) ;
1846
1834
}
1847
- self . encode_generics ( def_id) ;
1848
1835
self . encode_explicit_predicates ( def_id) ;
1849
1836
self . encode_inferred_outlives ( def_id) ;
1850
1837
}
0 commit comments