Add note about lazy_type_alias

Co-authored-by: León Orell Valerian Liehr <me@fmease.dev>
This commit is contained in:
Michael Howell 2023-08-25 07:32:54 -07:00
parent 20768b270e
commit b3686c2fd6

View File

@ -1153,8 +1153,8 @@ fn render_assoc_items_inner(
// don't normally constrain on them anyway. // don't normally constrain on them anyway.
// https://github.com/rust-lang/rust/issues/21903 // https://github.com/rust-lang/rust/issues/21903
// //
// If that changes, then this will need to check them with type // FIXME(lazy_type_alias): Once the feature is complete or stable, rewrite this to use type unification.
// 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 aliased_ty = tcx.type_of(alias_def_id).skip_binder();
let reject_cx = DeepRejectCtxt { let reject_cx = DeepRejectCtxt {
treat_obligation_params: TreatParams::AsCandidateKey, treat_obligation_params: TreatParams::AsCandidateKey,