diff --git a/tests/idris2/record004/expected b/tests/idris2/record004/expected
index ff7f1d32a..2fbfb61f5 100644
--- a/tests/idris2/record004/expected
+++ b/tests/idris2/record004/expected
@@ -16,6 +16,9 @@ at:
 
 Main> [2.5, 2.5]
 Main> 7.4
+Main> 7.4
+Main> 7.4
+Main> MkPoint 1.1 2.5
 Main> 4.2
 Main> 4.2
 Main> 4.2
diff --git a/tests/idris2/record004/input b/tests/idris2/record004/input
index 5a00dfbc6..df6a0fa7b 100644
--- a/tests/idris2/record004/input
+++ b/tests/idris2/record004/input
@@ -7,6 +7,9 @@ map (.x) [MkPoint 1.1 2.5, MkPoint 4.2 6.3]
 map .x [MkPoint 1 2, MkPoint 3 4]
 map (.topLeft.y) [rect, rect]
 rect.topLeft.x + rect.bottomRight.y
+rect.(x . topLeft) + rect.(y . bottomRight)
+x rect.topLeft + y rect.bottomRight
+rect.(Rect.topLeft)
 Main.Point.x pt
 Point.x pt
 (x) pt