pub fn visit_type_expression(
expr: &TypeExpression,
kind: &TypeSpecKind,
ctx: &mut Context,
) -> Result<TypeExpression>
pub fn visit_type_expression(
expr: &TypeExpression,
kind: &TypeSpecKind,
ctx: &mut Context,
) -> Result<TypeExpression>