Pacify tidy.

This commit is contained in:
Camille GILLOT 2024-04-07 17:16:11 +00:00
parent 9b846d4637
commit e12ef7984b

View File

@ -3,7 +3,7 @@
//! 2/ This single assignment dominates all uses;
//!
//! As we do not track indirect assignments, a local that has its address taken (either by
//! AddressOf or by borrowing) is considered non-SSA. However, it is UB to modify through an
//! AddressOf or by borrowing) is considered non-SSA. However, it is UB to modify through an
//! immutable borrow of a `Freeze` local. Those can still be considered to be SSA.
use rustc_data_structures::graph::dominators::Dominators;