Type Aliases

[Sunjay Varma]

Type aliases are declared with the following syntax:

// Declaring `let x: Bar` now creates a variable with the type Foo
type Bar = Foo;

Implementation Notes

To implement this, create a type variant of ScopeItem called TypeAlias with a single field that contains the TypeId that this type alias points to.