From 09b6e9b6fb8588d5087a87054f471ee14559ae3f Mon Sep 17 00:00:00 2001
From: "Alberto F. Martin" <alberto.martin@monash.edu>
Date: Tue, 18 Jul 2023 15:45:01 +1000
Subject: [PATCH] Added a test to RefinementRulesTests.jl that fails and should
 not

---
 test/AdaptivityTests/RefinementRulesTests.jl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/test/AdaptivityTests/RefinementRulesTests.jl b/test/AdaptivityTests/RefinementRulesTests.jl
index 278180265..3e4e84556 100644
--- a/test/AdaptivityTests/RefinementRulesTests.jl
+++ b/test/AdaptivityTests/RefinementRulesTests.jl
@@ -22,6 +22,9 @@ for poly in polys
   rr_red = Adaptivity.RedRefinementRule(poly)
   Adaptivity.test_refinement_rule(rr_red)
 
+  rrules=[rr_generic, rr_white, rr_red]
+  @test isconcretetype(eltype(rrules))
+
   n_edges = num_faces(poly,1)
   for e in 1:n_edges
     rr_green = Adaptivity.GreenRefinementRule(poly,e)