about summary refs log tree commit diff
path: root/src/librustdoc/clean/simplify.rs
AgeCommit message (Collapse)AuthorLines
2025-06-16rustdoc: skip `MetaSized` boundsDavid Wood-3/+9
These should never be shown to users at the moment.
2025-06-05Support middle::ty assoc const eq predicates againLeón Orell Valerian Liehr-5/+2
2025-03-15Add RTN support to rustdocMichael Goulet-0/+4
2024-08-31Rollup merge of #129725 - compiler-errors:predicates-of, r=fmeaseMatthias Krüger-12/+2
Stop using `ty::GenericPredicates` for non-predicates_of queries `GenericPredicates` is a struct of several parts: A list of of an item's own predicates, and a parent def id (and some effects related stuff, but ignore that since it's kinda irrelevant). When instantiating these generic predicates, it calls `predicates_of` on the parent and instantiates its predicates, and appends the item's own instantiated predicates too: https://github.com/rust-lang/rust/blob/acb4e8b6251f1d8da36f08e7a70fa23fc581839e/compiler/rustc_middle/src/ty/generics.rs#L407-L413 Notice how this should result in a recursive set of calls to `predicates_of`... However, `GenericPredicates` is *also* misused by a bunch of *other* queries as a convenient way of passing around a list of predicates. For these queries, we don't ever set the parent def id of the `GenericPredicates`, but if we did, then this would be very easy to mistakenly call `predicates_of` instead of some other intended parent query. Given that footgun, and the fact that we don't ever even *use* the parent def id in the `GenericPredicates` returned from queries like `explicit_super_predicates_of`, It really has no benefit over just returning `&'tcx [(Clause<'tcx>, Span)]`. This PR additionally opts to wrap the results of `EarlyBinder`, as we've tended to use that in the return type of these kinds of queries to properly convey that the user has params to deal with, and it also gives a convenient way of iterating over a slice of things after instantiating.
2024-08-29Fix clippy lintsGuillaume Gomez-1/+1
2024-08-29Stop using ty::GenericPredicates for non-predicates_of queriesMichael Goulet-12/+2
2024-08-04rustdoc: Create `SelfTy` to replace `Generic(kw::SelfUpper)`Noah Lev-1/+0
Rustdoc often has to special-case `Self` because it is, well, a special type of generic parameter (although it also behaves as an alias in concrete impls). Instead of spreading this special-casing throughout the code base, create a new variant of the `clean::Type` enum that is for `Self` types. This is a refactoring that has almost no impact on rustdoc's behavior, except that `&Self`, `(Self,)`, `&[Self]`, and other similar occurrences of `Self` no longer link to the wrapping type (reference primitive, tuple primitive, etc.) as regular generics do. I felt this made more sense since users would expect `Self` to link to the containing trait or aliased type (though those are usually expanded), not the primitive that is wrapping it. For an example of the change, see the docs for `std::alloc::Allocator::by_ref`.
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+1
The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options.
2024-07-12Add rustdoc support for use<> in (local) RPITsMichael Goulet-1/+1
2024-06-27Make queries more explicitMichael Goulet-1/+1
2024-05-30Rename HIR `TypeBinding` to `AssocItemConstraint` and related cleanupLeón Orell Valerian Liehr-3/+3
2024-04-02rustdoc: heavily simplify synthesis of auto trait implsLeón Orell Valerian Liehr-1/+44
2023-11-15Re-format code with new rustfmtMark Rousskov-1/+2
2023-10-29rustdoc: Use `ThinVec` in `GenericParamDefKind`Noah Lev-1/+1
This should hopefully reduce memory usage and improve performance since these vectors are often empty (and `GenericParamDefKind` is constructed *a lot*).
2023-10-03rustdoc: fix & clean up handling of cross-crate higher-ranked lifetimesLeón Orell Valerian Liehr-15/+4
2023-07-28Render generic const items in rustdocLeón Orell Valerian Liehr-0/+35
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-1/+3
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-3/+1
2023-06-19s/Clause/ClauseKindMichael Goulet-1/+3
2023-03-28rustdoc + rustdoc-json support for non_lifetime_bindersMichael Goulet-5/+1
2023-01-15rustdoc: simplify some & ref erencesMatthias Krüger-1/+1
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-1/+1
2022-11-04rustdoc: create helper `GenericParamDef::lifetime`León Orell Valerian Liehr-4/+1
2022-11-04rustdoc: render late-bound lifetimes in generic parameter list of ↵León Orell Valerian Liehr-3/+2
cross-crate functions and methods
2022-11-02rustdoc: use ThinVec for cleaned genericsMichael Howell-2/+3
2022-10-05rustdoc: render more cross-crate hrtbs properlyLeón Orell Valerian Liehr-12/+25
2022-10-03rustdoc: re-sugar more cross-crate trait boundsLeón Orell Valerian Liehr-23/+16
2022-05-21Remove `crate` visibility modifier in libs, testsJacob Pratt-2/+2
2022-03-04librustdoc: adopt let else in more placesest31-8/+2
2022-03-03make generic projection types print correctlyMichael Goulet-2/+2
2022-02-16Adopt let_else in even more placesest31-3/+1
2022-01-17Update term for use in more placeskadmin-5/+5
Replace use of `ty()` on term and use it in more places. This will allow more flexibility in the future, but slightly worried it allows items which are consts which only accept types.
2021-10-02Replace all uses of `path.res.def_id()` with `path.def_id()`Noah Lev-1/+1
2021-09-30Use `Path` instead of `Type` in `PolyTrait`Noah Lev-6/+2
The change to `impl Clean<Path> for hir::TraitRef<'_>` was necessary to fix a test failure for `src/test/rustdoc/trait-alias-mention.rs`. Here's why: The old code path was through `impl Clean<Type> for hir::TraitRef<'_>`, which called `resolve_type`, which in turn called `register_res`. Now, because `PolyTrait` uses a `Path` instead of a `Type`, the impl of `Clean<Path>` was being run, which did not call `register_res`, causing the trait alias to not be recorded in the `external_paths` cache.
2021-09-19Fix generics where bounds orderGuillaume Gomez-4/+6
2021-08-31Box `GenericArgs::Parenthesized.output`Noah Lev-2/+2
This reduces the size of `GenericArgs` from 104 bytes to 56 bytes, essentially reducing it by half. `GenericArgs` is one of the fields of `PathSegment`, so this should reduce the amount of memory allocated for `PathSegment`s in the cases where the generics are not for a `Fn`, `FnMut`, or `FnOnce` trait. I also added `static_assert_size!`s to `GenericArgs` and `PathSegment` to ensure they don't increase in size unexpectedly.
2021-08-13move Constness into TraitPredicateDeadbeef-1/+1
2021-06-18rustdoc: Render `for<'_>` lifetimes in front of where boundJustus K-9/+19
2021-01-16Review changesJack Huey-1/+1
2020-12-16Replace String with Symbol where possibleGuillaume Gomez-2/+3
2020-11-15Make all rustdoc functions and structs crate-privateJoshua Nelson-2/+2
This gives warnings about dead code.
2020-07-31fix rustdoc generic param orderBastian Kauschke-13/+0
2020-07-27introduce PredicateAtomBastian Kauschke-3/+1
2020-07-27this might be unqualified, but at least it's now quantifiedBastian Kauschke-1/+2
2020-07-27rustdocBastian Kauschke-6/+3
2020-05-20introduce newtype'd `Predicate<'tcx>`Bastian Kauschke-1/+1
2020-05-20rename `Predicate` to `PredicateKind`, introduce aliasBastian Kauschke-1/+1
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-2/+2
2020-01-20Add `constness` field to `ty::Predicate::Trait`Dylan MacKenzie-1/+1
2020-01-05Remove rustc_hir reexports in rustc::hir.Mazdak Farrokhzad-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 01:39:05 +0000