Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

cargo doc fails if they run it with nightly Rust #285

Closed
A1-Triard opened this issue Sep 18, 2023 · 2 comments · Fixed by #286
Closed

cargo doc fails if they run it with nightly Rust #285

A1-Triard opened this issue Sep 18, 2023 · 2 comments · Fixed by #286

Comments

@A1-Triard
Copy link

STR: run cargo +nightly doc.
ER: no errors.
AR:

error[E0658]: custom classes in code blocks are unstable
  --> src/identities.rs:4:1
   |
4  | / /// Defines an additive identity element for `Self`.
5  | | ///
6  | | /// # Laws
7  | | ///
...  |
10 | | /// 0 + a = a       ∀ a ∈ Self
11 | | /// ```
   | |_______^
   |
   = note: see issue #79483 <https://github.com/rust-lang/rust/issues/79483> for more information
   = help: add `#![feature(custom_code_classes_in_docs)]` to the crate attributes to enable
   = note: found these custom classes: class=text

error[E0658]: custom classes in code blocks are unstable
  --> src/identities.rs:80:1
   |
80 | / /// Defines a multiplicative identity element for `Self`.
81 | | ///
82 | | /// # Laws
83 | | ///
...  |
86 | | /// 1 * a = a       ∀ a ∈ Self
87 | | /// ```
   | |_______^
   |
   = note: see issue #79483 <https://github.com/rust-lang/rust/issues/79483> for more information
   = help: add `#![feature(custom_code_classes_in_docs)]` to the crate attributes to enable
   = note: found these custom classes: class=text
@cuviper
Copy link
Member

cuviper commented Sep 18, 2023

I think this is a rustdoc regression, as there was no error from nightly a week ago.

@robamu
Copy link
Contributor

robamu commented Sep 18, 2023

I think this might be due to rust-lang/rust#110800

@bors bors bot closed this as completed in ef36d69 Sep 18, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants