@@ -54,21 +54,21 @@ struct AstValidator<'a> {
5454 has_proc_macro_decls : bool ,
5555 has_global_allocator : bool ,
5656
57- // Used to ban nested `impl Trait`, e.g., `impl Into<impl Debug>`.
58- // Nested `impl Trait` _is_ allowed in associated type position,
59- // e.g `impl Iterator<Item=impl Debug>`
57+ /// Used to ban nested `impl Trait`, e.g., `impl Into<impl Debug>`.
58+ /// Nested `impl Trait` _is_ allowed in associated type position,
59+ /// e.g `impl Iterator<Item=impl Debug>`
6060 outer_impl_trait : Option < OuterImplTrait > ,
6161
62- // Used to ban `impl Trait` in path projections like `<impl Iterator>::Item`
63- // or `Foo::Bar<impl Trait>`
62+ /// Used to ban `impl Trait` in path projections like `<impl Iterator>::Item`
63+ /// or `Foo::Bar<impl Trait>`
6464 is_impl_trait_banned : bool ,
6565
66- // rust-lang/rust#57979: the ban of nested `impl Trait` was buggy
67- // until PRs #57730 and #57981 landed: it would jump directly to
68- // walk_ty rather than visit_ty (or skip recurring entirely for
69- // impl trait in projections), and thus miss some cases. We track
70- // whether we should downgrade to a warning for short-term via
71- // these booleans.
66+ /// rust-lang/rust#57979: the ban of nested `impl Trait` was buggy
67+ /// until PRs #57730 and #57981 landed: it would jump directly to
68+ /// walk_ty rather than visit_ty (or skip recurring entirely for
69+ /// impl trait in projections), and thus miss some cases. We track
70+ /// whether we should downgrade to a warning for short-term via
71+ /// these booleans.
7272 warning_period_57979_didnt_record_next_impl_trait : bool ,
7373 warning_period_57979_impl_trait_in_proj : bool ,
7474}
0 commit comments