From b4903734547738f1cabb40daa525e2adf54da3bf Mon Sep 17 00:00:00 2001
From: Arseny Kapoulkine <arseny.kapoulkine@gmail.com>
Date: Wed, 2 Jun 2021 12:14:24 -0700
Subject: [PATCH] Update syntax.md (#45)

Add information about type ascription syntax
---
 docs/_pages/syntax.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docs/_pages/syntax.md b/docs/_pages/syntax.md
index 2a827238..aacd5322 100644
--- a/docs/_pages/syntax.md
+++ b/docs/_pages/syntax.md
@@ -117,6 +117,12 @@ function foo(x: number, y: string): boolean
 end
 ```
 
+In addition, the type of any expression can be overridden using a type cast `::`:
+
+```lua
+local k = (y :: string):rep(x)
+```
+
 There are several simple builtin types: `any` (represents inability of the type checker to reason about the type), `nil`, `boolean`, `number`, `string` and `thread`.
 
 Function types are specified using the arguments and return types, separated with `->`: