Add notice

Author: fmease

compiler/rustc_hir_analysis/src/collect/resolve_bound_vars.rs

@@ -916,6 +916,9 @@ impl<'a, 'tcx> Visitor<'tcx> for BoundVarContext<'a, 'tcx> {
                 // Resolving object lifetime defaults for type-relative paths requires type-dependent
                 // resolution which we don't do here.
                 // FIXME: How feasible would it be to track type-dependent defs here in RBVs?
+                // NOTE: This change will likely regress a lot of existing code.
+                //       So we should make this into a future-incompat warning?
+                //       Ideally we'd fix it properly.
                 let scope = Scope::ObjectLifetimeDefault { lifetime: None, s: self.scope };
                 self.with(scope, |this| {
                     this.visit_ty_unambig(qself);