Function representability_adt_ty 

pub fn representability_adt_ty<'tcx>(tcx: TyCtxt<'tcx>, key: Ty<'tcx>) -> String