# A special expression that encapsulates a static type
# Can only be found in special construction like arguments of annotations.
class ATypeExpr
	super AExpr

	# The encapsulated type
	var n_type: AType is writable, noinit
end