@@ -56,30 +56,15 @@ pub enum DepNode<D: Clone + Debug> {
5656 WorkProduct ( Arc < WorkProductId > ) ,
5757
5858 // Represents different phases in the compiler.
59- CollectLanguageItems ,
60- ResolveLifetimes ,
6159 RegionResolveCrate ,
62- PluginRegistrar ,
63- StabilityIndex ,
64- CollectItem ( D ) ,
65- CollectItemSig ( D ) ,
6660 Coherence ,
6761 Resolve ,
68- EntryPoint ,
69- CheckEntryFn ,
7062 CoherenceCheckTrait ( D ) ,
7163 CoherenceCheckImpl ( D ) ,
7264 CoherenceOverlapCheck ( D ) ,
7365 CoherenceOverlapCheckSpecial ( D ) ,
74- CoherenceOrphanCheck ( D ) ,
7566 Variance ,
76- WfCheck ( D ) ,
77- TypeckItemType ( D ) ,
78- UnusedTraitCheck ,
79- CheckConst ( D ) ,
8067 PrivacyAccessLevels ( CrateNum ) ,
81- IntrinsicCheck ( D ) ,
82- MatchCheck ( D ) ,
8368
8469 // Represents the MIR for a fn; also used as the task node for
8570 // things read/modify that MIR.
@@ -91,14 +76,10 @@ pub enum DepNode<D: Clone + Debug> {
9176 BorrowCheck ( D ) ,
9277 RvalueCheck ( D ) ,
9378 Reachability ,
94- DeadCheck ,
95- StabilityCheck ( D ) ,
9679 LateLintCheck ,
97- TransCrate ,
9880 TransCrateItem ( D ) ,
9981 TransInlinedItem ( D ) ,
10082 TransWriteMetadata ,
101- LinkBinary ,
10283
10384 // Nodes representing bits of computed IR in the tcx. Each shared
10485 // table in the tcx (or elsewhere) maps to one of these
@@ -184,12 +165,10 @@ impl<D: Clone + Debug> DepNode<D> {
184165 }
185166
186167 check ! {
187- CollectItem ,
188168 BorrowCheck ,
189169 Hir ,
190170 HirBody ,
191171 TransCrateItem ,
192- TypeckItemType ,
193172 AssociatedItems ,
194173 ItemSignature ,
195174 AssociatedItemDefIds ,
@@ -211,24 +190,14 @@ impl<D: Clone + Debug> DepNode<D> {
211190 BorrowCheckKrate => Some ( BorrowCheckKrate ) ,
212191 MirKrate => Some ( MirKrate ) ,
213192 TypeckBodiesKrate => Some ( TypeckBodiesKrate ) ,
214- CollectLanguageItems => Some ( CollectLanguageItems ) ,
215- ResolveLifetimes => Some ( ResolveLifetimes ) ,
216193 RegionResolveCrate => Some ( RegionResolveCrate ) ,
217- PluginRegistrar => Some ( PluginRegistrar ) ,
218- StabilityIndex => Some ( StabilityIndex ) ,
219194 Coherence => Some ( Coherence ) ,
220195 Resolve => Some ( Resolve ) ,
221- EntryPoint => Some ( EntryPoint ) ,
222- CheckEntryFn => Some ( CheckEntryFn ) ,
223196 Variance => Some ( Variance ) ,
224- UnusedTraitCheck => Some ( UnusedTraitCheck ) ,
225197 PrivacyAccessLevels ( k) => Some ( PrivacyAccessLevels ( k) ) ,
226198 Reachability => Some ( Reachability ) ,
227- DeadCheck => Some ( DeadCheck ) ,
228199 LateLintCheck => Some ( LateLintCheck ) ,
229- TransCrate => Some ( TransCrate ) ,
230200 TransWriteMetadata => Some ( TransWriteMetadata ) ,
231- LinkBinary => Some ( LinkBinary ) ,
232201
233202 // work product names do not need to be mapped, because
234203 // they are always absolute.
@@ -237,26 +206,17 @@ impl<D: Clone + Debug> DepNode<D> {
237206 Hir ( ref d) => op ( d) . map ( Hir ) ,
238207 HirBody ( ref d) => op ( d) . map ( HirBody ) ,
239208 MetaData ( ref d) => op ( d) . map ( MetaData ) ,
240- CollectItem ( ref d) => op ( d) . map ( CollectItem ) ,
241- CollectItemSig ( ref d) => op ( d) . map ( CollectItemSig ) ,
242209 CoherenceCheckTrait ( ref d) => op ( d) . map ( CoherenceCheckTrait ) ,
243210 CoherenceCheckImpl ( ref d) => op ( d) . map ( CoherenceCheckImpl ) ,
244211 CoherenceOverlapCheck ( ref d) => op ( d) . map ( CoherenceOverlapCheck ) ,
245212 CoherenceOverlapCheckSpecial ( ref d) => op ( d) . map ( CoherenceOverlapCheckSpecial ) ,
246- CoherenceOrphanCheck ( ref d) => op ( d) . map ( CoherenceOrphanCheck ) ,
247- WfCheck ( ref d) => op ( d) . map ( WfCheck ) ,
248- TypeckItemType ( ref d) => op ( d) . map ( TypeckItemType ) ,
249- CheckConst ( ref d) => op ( d) . map ( CheckConst ) ,
250- IntrinsicCheck ( ref d) => op ( d) . map ( IntrinsicCheck ) ,
251- MatchCheck ( ref d) => op ( d) . map ( MatchCheck ) ,
252213 Mir ( ref d) => op ( d) . map ( Mir ) ,
253214 MirShim ( ref def_ids) => {
254215 let def_ids: Option < Vec < E > > = def_ids. iter ( ) . map ( op) . collect ( ) ;
255216 def_ids. map ( MirShim )
256217 }
257218 BorrowCheck ( ref d) => op ( d) . map ( BorrowCheck ) ,
258219 RvalueCheck ( ref d) => op ( d) . map ( RvalueCheck ) ,
259- StabilityCheck ( ref d) => op ( d) . map ( StabilityCheck ) ,
260220 TransCrateItem ( ref d) => op ( d) . map ( TransCrateItem ) ,
261221 TransInlinedItem ( ref d) => op ( d) . map ( TransInlinedItem ) ,
262222 AssociatedItems ( ref d) => op ( d) . map ( AssociatedItems ) ,
0 commit comments