use rustc_span::Span;
use rustc_type_ir::elaborate::Elaboratable;
use crate::ty;
use crate::ty::TyCtxt;