diff options
| -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>); |