use std::cmp;
use rustc_abi::Align;
use rustc_abi::Size;
use rustc_data_structures::fx::FxHashSet;
use rustc_data_structures::sync::Lock;
use rustc_span::Symbol;