@@ -2217,27 +2217,14 @@ macro_rules! slice_interners {
2217
2217
slice_interners ! (
2218
2218
type_list: _intern_type_list( Ty <' tcx>) ,
2219
2219
substs: _intern_substs( GenericArg <' tcx>) ,
2220
+ canonical_var_infos: _intern_canonical_var_infos( CanonicalVarInfo ) ,
2220
2221
existential_predicates: _intern_existential_predicates( ExistentialPredicate <' tcx>) ,
2221
2222
predicates: _intern_predicates( Predicate <' tcx>) ,
2222
2223
clauses: _intern_clauses( Clause <' tcx>) ,
2223
2224
goal_list: _intern_goals( Goal <' tcx>) ,
2224
2225
projs: _intern_projs( ProjectionKind )
2225
2226
) ;
2226
2227
2227
- // This isn't a perfect fit: `CanonicalVarInfo` slices are always
2228
- // allocated in the global arena, so this `intern_method!` macro is
2229
- // overly general. However, we just return `false` for the code that checks
2230
- // whether they belong in the thread-local arena, so no harm done, and
2231
- // seems better than open-coding the rest.
2232
- intern_method ! {
2233
- ' tcx,
2234
- canonical_var_infos: _intern_canonical_var_infos(
2235
- & [ CanonicalVarInfo ] ,
2236
- |a, v| List :: from_arena( a, v) ,
2237
- Deref :: deref
2238
- ) -> List <CanonicalVarInfo >
2239
- }
2240
-
2241
2228
impl < ' tcx > TyCtxt < ' tcx > {
2242
2229
/// Given a `fn` type, returns an equivalent `unsafe fn` type;
2243
2230
/// that is, a `fn` type that is equivalent in every way for being
0 commit comments