You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
GenericArg::Infer was introduced in #83484 as a part of #85077. AFAICT, as rustdoc-types are converted from HIR, this variant was propagated to rustdoc-types. It was even documented later in #127290. But is it possible to obtain?
jieyouxu
added
T-rustdoc
Relevant to the rustdoc team, which will review and decide on the PR/issue.
C-bug
Category: This is a bug.
and removed
needs-triage
This issue may need triage. Remove it if it has been sufficiently triaged.
labels
May 5, 2025
GenericArg::Infer
was introduced in #83484 as a part of #85077. AFAICT, asrustdoc-types
are converted from HIR, this variant was propagated torustdoc-types
. It was even documented later in #127290. But is it possible to obtain?GenericArg
is a part ofGenericArgs
that is a part ofAssocItemConstraint
,Path
, andType::QualifiedPath
. Attempts to use the_
placeholder for any of them fail with the same error E0121. I've also tried to get this variant by generating JSON docs of a few huge crates, but to no avail. I guess it's impossible to use the placeholder in any position inside any item's signature. The only place it's allowed is in statements/expressions that're not represented inrustdoc-types
.I think if there's no intention to allow the placeholder inside item signatures, this variant should be removed from
rustdoc-types
.The same also may be applicable to
Type::Infer
, but I didn't checked it as it's not important for my use case.The text was updated successfully, but these errors were encountered: