Auto merge of #66942 - cjgillot:hirene-ty, r=Zoxc

Allocate HIR on an arena 3/4 -- Ty

This is the third PR in the series started by #66931 and #66936

Once again, commits don't really make sense on their own.
They are mostly split by type of compile error.

The additional diff is here: cjgillot/rust@hirene-expr...hirene-ty

Author: bors

src/librustc/arena.rs

@@ -128,26 +128,34 @@ macro_rules! arena_types {
             [] arm: rustc::hir::Arm<$tcx>,
             [] attribute: syntax::ast::Attribute,
             [] block: rustc::hir::Block<$tcx>,
+            [] bare_fn_ty: rustc::hir::BareFnTy<$tcx>,
             [few] global_asm: rustc::hir::GlobalAsm,
+            [] generic_arg: rustc::hir::GenericArg<$tcx>,
+            [] generic_args: rustc::hir::GenericArgs<$tcx>,
+            [] generic_bound: rustc::hir::GenericBound<$tcx>,
+            [] generic_param: rustc::hir::GenericParam<$tcx>,
             [] expr: rustc::hir::Expr<$tcx>,
             [] field: rustc::hir::Field<$tcx>,
             [] field_pat: rustc::hir::FieldPat<$tcx>,
-            [] fn_decl: rustc::hir::FnDecl,
+            [] fn_decl: rustc::hir::FnDecl<$tcx>,
             [] foreign_item: rustc::hir::ForeignItem<$tcx>,
-            [] impl_item_ref: rustc::hir::ImplItemRef,
+            [] impl_item_ref: rustc::hir::ImplItemRef<$tcx>,
             [] inline_asm: rustc::hir::InlineAsm<$tcx>,
             [] local: rustc::hir::Local<$tcx>,
             [few] macro_def: rustc::hir::MacroDef<$tcx>,
             [] param: rustc::hir::Param<$tcx>,
             [] pat: rustc::hir::Pat<$tcx>,
-            [] path: rustc::hir::Path,
-            [] path_segment: rustc::hir::PathSegment,
-            [] qpath: rustc::hir::QPath,
+            [] path: rustc::hir::Path<$tcx>,
+            [] path_segment: rustc::hir::PathSegment<$tcx>,
+            [] poly_trait_ref: rustc::hir::PolyTraitRef<$tcx>,
+            [] qpath: rustc::hir::QPath<$tcx>,
             [] stmt: rustc::hir::Stmt<$tcx>,
             [] struct_field: rustc::hir::StructField<$tcx>,
             [] trait_item_ref: rustc::hir::TraitItemRef,
-            [] ty: rustc::hir::Ty,
+            [] ty: rustc::hir::Ty<$tcx>,
+            [] type_binding: rustc::hir::TypeBinding<$tcx>,
             [] variant: rustc::hir::Variant<$tcx>,
+            [] where_predicate: rustc::hir::WherePredicate<$tcx>,
         ], $tcx);
     )
 }