use rustc_macros::Decodable;
use rustc_macros::Encodable;
use rustc_macros::StableHash;
use rustc_span::Symbol;
use rustc_span::def_id::DefId;
use super::TyCtxt;