add FRTs to rustc_public

Author: BennoLossin

compiler/rustc_public/src/ty.rs

@@ -551,6 +551,7 @@ pub enum RigidTy {
     Uint(UintTy),
     Float(FloatTy),
     Adt(AdtDef, GenericArgs),
+    Field(Ty, FieldPath),
     Foreign(ForeignDef),
     Str,
     Array(Ty, TyConst),

compiler/rustc_public/src/unstable/convert/internal.rs

@@ -171,6 +171,9 @@ impl RustcInternal for RigidTy {
             RigidTy::Adt(def, args) => {
                 rustc_ty::TyKind::Adt(def.internal(tables, tcx), args.internal(tables, tcx))
             }
+            RigidTy::Field(ty, field_path) => {
+                rustc_ty::TyKind::Field(ty.internal(tables, tcx), field_path.internal(tables, tcx))
+            }
             RigidTy::Str => rustc_ty::TyKind::Str,
             RigidTy::Slice(ty) => rustc_ty::TyKind::Slice(ty.internal(tables, tcx)),
             RigidTy::RawPtr(ty, mutability) => {

compiler/rustc_public/src/unstable/convert/stable/ty.rs

@@ -413,6 +413,10 @@ impl<'tcx> Stable<'tcx> for ty::TyKind<'tcx> {
                 tables.adt_def(adt_def.did()),
                 generic_args.stable(tables, cx),
             )),
+            ty::Field(ty, field_path) => TyKind::RigidTy(RigidTy::Field(
+                ty.stable(tables, cx),
+                field_path.stable(tables, cx),
+            )),
             ty::Foreign(def_id) => TyKind::RigidTy(RigidTy::Foreign(tables.foreign_def(*def_id))),
             ty::Str => TyKind::RigidTy(RigidTy::Str),
             ty::Array(ty, constant) => {

compiler/rustc_public/src/visitor.rs

@@ -164,6 +164,10 @@ impl Visitable for RigidTy {
                 reg.visit(visitor)?;
                 ty.visit(visitor)
             }
+            RigidTy::Field(ty, _field_path) => {
+                ty.visit(visitor)
+                // FIXME(field_projections): also visit _field_path?
+            }
             RigidTy::Adt(_, args)
             | RigidTy::Closure(_, args)
             | RigidTy::Coroutine(_, args)