Function type_check 

pub fn type_check<Ast: TypeCheck>(
    ast: impl Into<Arc<Ast>>,
) -> WithTranslationErrors<Ast::Output>

Type-check a parsed AST with default options.

Works for both Query and Pipeline (anything implementing TypeCheck).