FRTs & symbol names

Author: BennoLossin

compiler/rustc_sanitizers/src/cfi/typeid/itanium_cxx_abi/encode.rs

@@ -504,6 +504,10 @@ pub(crate) fn encode_ty<'tcx>(
             typeid.push_str(&s);
         }
 
+        ty::Field(..) => todo!(
+            "FIXME(field_projections): no idea what to do here, probably not supported in ABI?"
+        ),
+
         ty::Foreign(def_id) => {
             // <length><name>, where <name> is <unscoped-name>
             let mut s = String::new();

compiler/rustc_sanitizers/src/cfi/typeid/itanium_cxx_abi/transform.rs

@@ -183,6 +183,10 @@ impl<'tcx> TypeFolder<TyCtxt<'tcx>> for TransformTy<'tcx> {
                 }
             }
 
+            ty::Field(..) => todo!(
+                "FIXME(field_projections): no idea what to do here, probably don't need to handle field types here?"
+            ),
+
             ty::Ref(..) => {
                 if self.options.contains(TransformTyOptions::GENERALIZE_POINTERS) {
                     if t.is_mutable_ptr() {

compiler/rustc_symbol_mangling/src/export.rs

@@ -62,6 +62,8 @@ impl<'tcx> AbiHashStable<'tcx> for Ty<'tcx> {
             ty::Uint(uint_ty) => uint_ty.name_str().abi_hash(tcx, hasher),
             ty::Float(float_ty) => float_ty.name_str().abi_hash(tcx, hasher),
 
+            ty::Field(..) => todo!("FIXME(field_projections): no idea what to do here"),
+
             ty::Adt(adt_def, args) => {
                 adt_def.is_struct().abi_hash(tcx, hasher);
                 adt_def.is_enum().abi_hash(tcx, hasher);

compiler/rustc_symbol_mangling/src/v0.rs

@@ -521,6 +521,7 @@ impl<'tcx> Printer<'tcx> for V0SymbolMangler<'tcx> {
                 self.push("E");
             }
 
+            ty::Field(..) => todo!("FIXME(field_projections): no idea what to do here"),
             // Mangle all nominal types as paths.
             ty::Adt(ty::AdtDef(Interned(&ty::AdtDefData { did: def_id, .. }, _)), args)
             | ty::FnDef(def_id, args)

tests/ui/symbol-names/basic.legacy.stderr

@@ -1,10 +1,10 @@
-error: symbol-name(_ZN5basic4main17h1dddcfd03744167fE)
+error: symbol-name(_ZN5basic4main17h9dcd691dfd66f09dE)
   --> $DIR/basic.rs:8:1
    |
 LL | #[rustc_symbol_name]
    | ^^^^^^^^^^^^^^^^^^^^
 
-error: demangling(basic::main::h1dddcfd03744167f)
+error: demangling(basic::main::h9dcd691dfd66f09d)
   --> $DIR/basic.rs:8:1
    |
 LL | #[rustc_symbol_name]

tests/ui/symbol-names/issue-60925.legacy.stderr

@@ -1,10 +1,10 @@
-error: symbol-name(_ZN11issue_609253foo37Foo$LT$issue_60925..llv$u6d$..Foo$GT$3foo17h4b3099ec5dc5d306E)
+error: symbol-name(_ZN11issue_609253foo37Foo$LT$issue_60925..llv$u6d$..Foo$GT$3foo17h0c5a913a7866cf0eE)
   --> $DIR/issue-60925.rs:21:9
    |
 LL |         #[rustc_symbol_name]
    |         ^^^^^^^^^^^^^^^^^^^^
 
-error: demangling(issue_60925::foo::Foo<issue_60925::llvm::Foo>::foo::h4b3099ec5dc5d306)
+error: demangling(issue_60925::foo::Foo<issue_60925::llvm::Foo>::foo::h0c5a913a7866cf0e)
   --> $DIR/issue-60925.rs:21:9
    |
 LL |         #[rustc_symbol_name]