Function get_adt_ty 

pub fn get_adt_ty(tcx: TyCtxt<'_>, def_id: DefId) -> Option<Ty<'_>>