diff options
| author | Jannis Christopher Köhl <mail@koehl.dev> | 2022-09-03 00:30:22 +0200 |
|---|---|---|
| committer | Jannis Christopher Köhl <mail@koehl.dev> | 2022-11-07 10:35:14 +0100 |
| commit | 2113e45488190030451f9ea89bdbc42d3e958bfb (patch) | |
| tree | 39ecf275294af94e072f28996d5d395fe80ce1e6 /compiler/rustc_mir_dataflow | |
| parent | 2e4d0820d2f36d97f5db22496c1f71087d0e5323 (diff) | |
| download | rust-2113e45488190030451f9ea89bdbc42d3e958bfb.tar.gz rust-2113e45488190030451f9ea89bdbc42d3e958bfb.zip | |
Remove superfluous line
Diffstat (limited to 'compiler/rustc_mir_dataflow')
| -rw-r--r-- | compiler/rustc_mir_dataflow/src/value_analysis.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/rustc_mir_dataflow/src/value_analysis.rs b/compiler/rustc_mir_dataflow/src/value_analysis.rs index 355b7728e0c..2f22ccc41e8 100644 --- a/compiler/rustc_mir_dataflow/src/value_analysis.rs +++ b/compiler/rustc_mir_dataflow/src/value_analysis.rs @@ -360,7 +360,6 @@ enum StateData<V> { /// reachable state). All operations on unreachable states are ignored. /// /// Flooding means assigning a value (by default `⊤`) to all tracked projections of a given place. -/// Assigning a place (or reference thereof) to another place assumes that #[derive(PartialEq, Eq, Clone, Debug)] pub struct State<V>(StateData<V>); |