Movatterモバイル変換

Skip to content

model-checking/verify-rust-stdPublic

forked fromrust-lang/rust

NotificationsYou must be signed in to change notification settings
Fork60
Star311

Commit36ad0db

nnethercote

committed

Add blank lines after module-level//! comments.

Most modules have such a blank line, but some don't. Inserting the blankline makes it clearer that the `//!` comments are describing the entiremodule, rather than the `use` declaration(s) that immediately follows.

1 parent4e67110 commit36ad0dbCopy full SHA for 36ad0db

File tree

19 files changed

+19

-0

lines changed

alloc/src/vec
- in_place_collect.rs
core
- src/str
  - count.rs
- tests
  - iter/adapters
    - map_windows.rs
  - num
    - ieee754.rs
panic_unwind/src
- miri.rs
portable-simd/crates/core_simd/src/ops
- assign.rs
- deref.rs
std
- src
  - hash
    - random.rs
  - sys
    - pal
      - itron
        thread.rs
      - solid/abi
        fs.rs
      - unix
        process/process_unsupported
        wait_status.rs
        thread.rs
    - sync
      - condvar
        itron.rs
      - mutex
        itron.rs
      - rwlock
        solid.rs
- tests
  - create_dir_all_bare.rs
test/src
- bench.rs
- helpers
  - concurrency.rs
  - metrics.rs

19 files changed

+19

-0

lines changed

`‎alloc/src/vec/in_place_collect.rs‎`

Lines changed: 1 addition & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -154,6 +154,7 @@`
`154`	`154`	`//! }`
`155`	`155`	`//! vec.truncate(write_idx);`
`156`	`156`	//! ```
	`157`	`+`
`157`	`158`	`usecrate::alloc::{handle_alloc_error,Global};`
`158`	`159`	`use core::alloc::Allocator;`
`159`	`160`	`use core::alloc::Layout;`

`‎core/src/str/count.rs‎`

Lines changed: 1 addition & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -17,6 +17,7 @@`
`17`	`17`	`//! Note: Because the term "leading byte" can sometimes be ambiguous (for`
`18`	`18`	`//! example, it could also refer to the first byte of a slice), we'll often use`
`19`	`19`	`//! the term "non-continuation byte" to refer to these bytes in the code.`
	`20`	`+`
`20`	`21`	`use core::intrinsics::unlikely;`
`21`	`22`
`22`	`23`	`constUSIZE_SIZE:usize = core::mem::size_of::<usize>();`

`‎core/tests/iter/adapters/map_windows.rs‎`

Lines changed: 1 addition & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -3,6 +3,7 @@ use std::sync::atomic::{AtomicUsize, Ordering::SeqCst};`
`3`	`3`	`#[cfg(not(panic ="abort"))]`
`4`	`4`	`mod drop_checks{`
`5`	`5`	`//! These tests mainly make sure the elements are correctly dropped.`
	`6`	`+`
`6`	`7`	`use std::sync::atomic::{AtomicBool,AtomicUsize,Ordering::SeqCst};`
`7`	`8`
`8`	`9`	`#[derive(Debug)]`

`‎core/tests/num/ieee754.rs‎`

Lines changed: 1 addition & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -27,6 +27,7 @@`
`27`	`27`	`//! standard. That is why they accept wildly diverse inputs or may seem to duplicate other tests.`
`28`	`28`	`//! Please consider this carefully when adding, removing, or reorganizing these tests. They are`
`29`	`29`	`//! here so that it is clear what tests are required by the standard and what can be changed.`
	`30`	`+`
`30`	`31`	`use::core::str::FromStr;`
`31`	`32`
`32`	`33`	`// IEEE 754 for many tests is applied to specific bit patterns.`

`‎panic_unwind/src/miri.rs‎`

Lines changed: 1 addition & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`//! Unwinding panics for Miri.`
	`2`	`+`
`2`	`3`	`use alloc::boxed::Box;`
`3`	`4`	`use core::any::Any;`
`4`	`5`

`‎portable-simd/crates/core_simd/src/ops/assign.rs‎`

Lines changed: 1 addition & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`//! Assignment operators`
	`2`	`+`
`2`	`3`	`usesuper::*;`
`3`	`4`	`use core::ops::{AddAssign,MulAssign};// commutative binary op-assignment`
`4`	`5`	`use core::ops::{BitAndAssign,BitOrAssign,BitXorAssign};// commutative bit binary op-assignment`

`‎portable-simd/crates/core_simd/src/ops/deref.rs‎`

Lines changed: 1 addition & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -2,6 +2,7 @@`
`2`	`2`	`//! Ideally, Rust would take care of this itself,`
`3`	`3`	`//! and method calls usually handle the LHS implicitly.`
`4`	`4`	`//! But this is not the case with arithmetic ops.`
	`5`	`+`
`5`	`6`	`usesuper::*;`
`6`	`7`
`7`	`8`	`macro_rules! deref_lhs{`

`‎std/src/hash/random.rs‎`

Lines changed: 1 addition & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -6,6 +6,7 @@`
`6`	`6`	`//! outside this crate.`
`7`	`7`	`//!`
`8`	`8`	//! [`collections`]: crate::collections
	`9`	`+`
`9`	`10`	`#[allow(deprecated)]`
`10`	`11`	`usesuper::{BuildHasher,Hasher,SipHasher13};`
`11`	`12`	`usecrate::cell::Cell;`

`‎std/src/sys/pal/itron/thread.rs‎`

Lines changed: 1 addition & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,6 @@`
`1`	`1`	//! Thread implementation backed by μITRON tasks. Assumes `acre_tsk` and
`2`	`2`	//! `exd_tsk` are available.
	`3`	`+`
`3`	`4`	`usesuper::{`
`4`	`5`	`abi,`
`5`	`6`	`error::{expect_success, expect_success_aborting,ItronError},`

`‎std/src/sys/pal/solid/abi/fs.rs‎`

Lines changed: 1 addition & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	//! `solid_fs.h`
	`2`	`+`
`2`	`3`	`usecrate::os::raw::{c_char, c_int, c_uchar};`
`3`	`4`	`pubuse libc::{`
`4`	`5`	`ino_t, off_t, stat, time_t,O_APPEND,O_CREAT,O_EXCL,O_RDONLY,O_RDWR,O_TRUNC,O_WRONLY,`

0 commit comments

Comments

(0)

[8]ページ先頭

©2009-2025 Movatter.jp