pub fn adt_def<'tcx>(_: TyCtxt<'tcx>, key: &adt_def<'tcx>) -> bool