diff --git a/test-samples/higherTypes.ceylon b/test-samples/higherTypes.ceylon
index 480c008..5d35e3f 100644
--- a/test-samples/higherTypes.ceylon
+++ b/test-samples/higherTypes.ceylon
@@ -8,7 +8,7 @@ value namedArgsInvocWithFunctionArgWithTypeParam = f {
         return t;
     }
 };
-value anonymousGenericFunction = <T>(T t) => t;
+value anonymousGenericFunction = <T>(T t) given T satisfies Anything => t;
 class C() {
     parameterizedExpressionWithTypeParams<T>(T t) => t;
 }