Skip to content

Commit 1895e52

Browse files
committed
Fix super_traits_of API doc
1 parent ac1845a commit 1895e52

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

compiler/rustc_typeck/src/collect.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1115,9 +1115,9 @@ fn super_predicates_that_define_assoc_type(
11151115
}
11161116
}
11171117

1118-
/// Ensures that the super traits of the trait with a `DefId`
1119-
/// of `trait_def_id` are converted and stored. This also ensures that
1120-
/// the transitive super traits are converted.
1118+
/// Computes the def-ids of the transitive super-traits of `trait_def_id`. This (intentionally)
1119+
/// does not compute the full elaborated super-predicates but just the set of def-ids. It is used
1120+
/// to identify which traits may define a given associated type to help avoid cycle errors.
11211121
fn super_traits_of(tcx: TyCtxt<'_>, trait_def_id: DefId) -> FxHashSet<DefId> {
11221122
let mut set = FxHashSet::default();
11231123
let mut stack = vec![trait_def_id];

0 commit comments

Comments
 (0)