diff --git a/src/col/vct/col/ast/lang/CPPLambdaRefImpl.scala b/src/col/vct/col/ast/lang/CPPLambdaRefImpl.scala
new file mode 100644
index 0000000000..84b42ec961
--- /dev/null
+++ b/src/col/vct/col/ast/lang/CPPLambdaRefImpl.scala
@@ -0,0 +1,11 @@
+package vct.col.ast.lang
+
+import vct.col.ast.{CPPLambdaRef, TRef, Type}
+import vct.col.print.{Ctx, Doc, Text}
+import vct.col.resolve.ctx._
+
+trait CPPLambdaRefImpl[G] { this: CPPLambdaRef[G] =>
+  override lazy val t: Type[G] = TRef()
+
+  override def layout(implicit ctx: Ctx): Doc = Text("lambda_ref")
+}
\ No newline at end of file