From aff654c3a5fa2e50cc15ac96a7f13a15c87964a7 Mon Sep 17 00:00:00 2001
From: Tim Besard <tim.besard@gmail.com>
Date: Fri, 16 Jun 2023 14:37:25 +0200
Subject: [PATCH] Disable piracy test on 1.6.

---
 test/aqua.jl | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/test/aqua.jl b/test/aqua.jl
index 40fa86484e..8ec04bf42b 100644
--- a/test/aqua.jl
+++ b/test/aqua.jl
@@ -18,4 +18,9 @@ Aqua.test_stale_deps(CUDA; ignore=[:CUDA_Runtime_Discovery, :CUDA_Runtime_jll,
 Aqua.test_deps_compat(CUDA)
 Aqua.test_project_extras(CUDA)
 Aqua.test_project_toml_formatting(CUDA)
-Aqua.test_piracy(CUDA)
+
+if VERSION ≥ v"1.7"
+    # on 1.6, device overrides aren't implemented using overlay method tables,
+    # but using world age hacks which confuse Aqua's type piracy detection.
+    Aqua.test_piracy(CUDA)
+end