add fixmes

Author: klensy

compiler/rustc_codegen_ssa/src/codegen_attrs.rs

@@ -279,6 +279,7 @@ fn codegen_fn_attrs(tcx: TyCtxt<'_>, did: LocalDefId) -> CodegenFnAttrs {
                         //
                         // This exception needs to be kept in sync with allowing
                         // `#[target_feature]` on `main` and `start`.
+                        // FIXME: sync me
                     } else if !tcx.features().target_feature_11() {
                         feature_err(
                             &tcx.sess,

compiler/rustc_errors/src/emitter.rs

@@ -3188,6 +3188,7 @@ fn num_decimal_digits(num: usize) -> usize {
 
 // We replace some characters so the CLI output is always consistent and underlines aligned.
 // Keep the following list in sync with `rustc_span::char_width`.
+// FIXME: sync me
 const OUTPUT_REPLACEMENTS: &[(char, &str)] = &[
     // In terminals without Unicode support the following will be garbled, but in *all* terminals
     // the underlying codepoint will be as well. We could gate this replacement behind a "unicode

compiler/rustc_metadata/src/native_libs.rs

@@ -57,6 +57,7 @@ pub fn walk_native_lib_search_dirs<R>(
     // FIXME: On AIX this also has the side-effect of making the list of library search paths
     // non-empty, which is needed or the linker may decide to record the LIBPATH env, if
     // defined, as the search path instead of appending the default search paths.
+    // FIXME: sync me
     if sess.target.vendor == "fortanix"
         || sess.target.os == "linux"
         || sess.target.os == "fuchsia"

compiler/rustc_middle/src/dep_graph/dep_node.rs

@@ -86,6 +86,7 @@ macro_rules! define_dep_nodes {
         // struct, and there we can take advantage of the unused bits in the u16.
         #[allow(non_camel_case_types)]
         #[repr(u16)] // Must be kept in sync with the inner type of `DepKind`.
+        // FIXME: sync me
         enum DepKindDefs {
             $( $( #[$attr] )* $variant),*
         }
@@ -96,6 +97,7 @@ macro_rules! define_dep_nodes {
 
             $(
                 // The `as u16` cast must be kept in sync with the inner type of `DepKind`.
+                // FIXME: sync me
                 pub const $variant: DepKind = DepKind::new(DepKindDefs::$variant as u16);
             )*
         }

compiler/rustc_middle/src/mir/terminator.rs

@@ -136,6 +136,7 @@ impl UnwindAction {
 impl UnwindTerminateReason {
     pub fn as_str(self) -> &'static str {
         // Keep this in sync with the messages in `core/src/panicking.rs`.
+        // FIXME: sync me
         match self {
             UnwindTerminateReason::Abi => "panic in a function that cannot unwind",
             UnwindTerminateReason::InCleanup => "panic in a destructor during cleanup",
@@ -304,6 +305,7 @@ impl<O> AssertKind<O> {
     /// `AssertKind::panic_function` and the lang items mentioned in its docs).
     /// Note that we deliberately show more details here than we do at runtime, such as the actual
     /// numbers that overflowed -- it is much easier to do so here than at runtime.
+    // FIXME: sync me
     pub fn diagnostic_message(&self) -> DiagMessage {
         use AssertKind::*;
 

compiler/rustc_middle/src/ty/instance.rs

@@ -900,6 +900,7 @@ impl<'tcx> Instance<'tcx> {
 
     #[inline(always)]
     // Keep me in sync with try_instantiate_mir_and_normalize_erasing_regions
+    // FIXME: sync me
     pub fn instantiate_mir_and_normalize_erasing_regions<T>(
         &self,
         tcx: TyCtxt<'tcx>,
@@ -918,6 +919,7 @@ impl<'tcx> Instance<'tcx> {
 
     #[inline(always)]
     // Keep me in sync with instantiate_mir_and_normalize_erasing_regions
+    // FIXME: sync me
     pub fn try_instantiate_mir_and_normalize_erasing_regions<T>(
         &self,
         tcx: TyCtxt<'tcx>,

compiler/rustc_middle/src/ty/predicate.rs

@@ -138,6 +138,7 @@ impl<'tcx> Predicate<'tcx> {
     /// unsoundly accept some programs. See #91068.
     #[inline]
     pub fn allow_normalization(self) -> bool {
+        // FIXME: sync me
         // Keep this in sync with the one in `rustc_type_ir::inherent`!
         match self.kind().skip_binder() {
             PredicateKind::Clause(ClauseKind::WellFormed(_))

compiler/rustc_mir_transform/src/coverage/query.rs

@@ -109,6 +109,7 @@ fn coverage_ids_info<'tcx>(
         // to any particular point in the control-flow graph.
         // (Keep this in sync with the injection of `ExpressionUsed`
         // statements in the `InstrumentCoverage` MIR pass.)
+        // FIXME: sync me
         if let MappingKind::Code(CovTerm::Expression(id)) = mapping.kind {
             expressions_seen.remove(id);
         }

compiler/rustc_mir_transform/src/mentioned_items.rs

@@ -33,6 +33,7 @@ impl<'tcx> crate::MirPass<'tcx> for MentionedItems {
 // visiting the exact same places but then instead of monomorphizing and creating `MonoItems`, we
 // have to remain generic and just recording the relevant information in `mentioned_items`, where it
 // will then be monomorphized later during "mentioned items" collection.
+// FIXME: sync me
 impl<'tcx> Visitor<'tcx> for MentionedItemsVisitor<'_, 'tcx> {
     fn visit_terminator(&mut self, terminator: &mir::Terminator<'tcx>, location: Location) {
         self.super_terminator(terminator, location);

compiler/rustc_next_trait_solver/src/solve/assembly/structural_traits.rs

@@ -716,6 +716,7 @@ pub(in crate::solve) fn extract_fn_def_from_const_callable<I: Interner>(
 
 // NOTE: Keep this in sync with `evaluate_host_effect_for_destruct_goal` in
 // the old solver, for as long as that exists.
+// FIXME: sync me
 pub(in crate::solve) fn const_conditions_for_destruct<I: Interner>(
     cx: I,
     self_ty: I::Ty,