about summary refs log tree commit diff
diff options
context:
space:
mode:
authorMichael Howell <michael@notriddle.com>2023-08-25 07:32:54 -0700
committerMichael Howell <michael@notriddle.com>2023-08-26 12:35:46 -0700
commitb3686c2fd6ad57912e1b0e778bedb0b9a05c73fa (patch)
tree991b6e8a9989bef1c85e4eff367158688ed369d0
parent20768b270e9b56368051f6f9b2be29dd0a1acb36 (diff)
downloadrust-b3686c2fd6ad57912e1b0e778bedb0b9a05c73fa.tar.gz
rust-b3686c2fd6ad57912e1b0e778bedb0b9a05c73fa.zip
Add note about lazy_type_alias
Co-authored-by: León Orell Valerian Liehr <me@fmease.dev>
-rw-r--r--src/librustdoc/html/render/mod.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/librustdoc/html/render/mod.rs b/src/librustdoc/html/render/mod.rs
index 1d77ce74c80..a85e8356c2f 100644
--- a/src/librustdoc/html/render/mod.rs
+++ b/src/librustdoc/html/render/mod.rs
@@ -1153,8 +1153,8 @@ fn render_assoc_items_inner(
         // don't normally constrain on them anyway.
         // https://github.com/rust-lang/rust/issues/21903
         //
-        // If that changes, then this will need to check them with type
-        // unification.
+        // FIXME(lazy_type_alias): Once the feature is complete or stable, rewrite this to use type unification.
+        // Be aware of `tests/rustdoc/issue-112515-impl-ty-alias.rs` which might regress.
         let aliased_ty = tcx.type_of(alias_def_id).skip_binder();
         let reject_cx = DeepRejectCtxt {
             treat_obligation_params: TreatParams::AsCandidateKey,