Skip to content

Commit 08aff1a

Browse files
Publish rustc_mir::dataflow and remove #[allow(unused)]
1 parent 19bf0f4 commit 08aff1a

File tree

2 files changed

+1
-6
lines changed

2 files changed

+1
-6
lines changed

src/librustc_mir/dataflow/generic.rs

-5
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
#![allow(unused)]
2-
31
use std::cmp::Ordering;
42
use std::ops;
53

@@ -209,7 +207,6 @@ where
209207
}
210208

211209
/// Updates the cursor to hold the dataflow state immediately before `target`.
212-
#[allow(unused)]
213210
pub fn seek_before(&mut self, target: Location) {
214211
assert!(target <= self.body.terminator_loc(target.block));
215212

@@ -228,7 +225,6 @@ where
228225
/// If `target` is a `Call` terminator, `apply_call_return_effect` will not be called. See
229226
/// `seek_after_assume_call_returns` if you wish to observe the dataflow state upon a
230227
/// successful return.
231-
#[allow(unused)]
232228
pub fn seek_after(&mut self, target: Location) {
233229
assert!(target <= self.body.terminator_loc(target.block));
234230

@@ -243,7 +239,6 @@ where
243239

244240
/// Equivalent to `seek_after`, but also calls `apply_call_return_effect` if `target` is a
245241
/// `Call` terminator whose callee is convergent.
246-
#[allow(unused)]
247242
pub fn seek_after_assume_call_returns(&mut self, target: Location) {
248243
assert!(target <= self.body.terminator_loc(target.block));
249244

src/librustc_mir/lib.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ pub mod error_codes;
3636

3737
mod borrow_check;
3838
mod build;
39-
mod dataflow;
39+
pub mod dataflow;
4040
mod hair;
4141
mod lints;
4242
mod shim;

0 commit comments

Comments
 (0)