Method TypeCheck

pkg/sql/sem/tree/expr.go:47–47

TypeCheck transforms the Expr into a well-typed TypedExpr, which further permits evaluation and type introspection, or an error if the expression cannot be well-typed. When type checking is complete, if no error was reported, the expression and all sub-expressions will be guaranteed to be well-typed

(ctx *SemaContext, desired *types.T)

	// desired. This restriction is also true of most methods and functions related
	// to type checking.
	TypeCheck(ctx *SemaContext, desired *types.T) (TypedExpr, error)
}

// TypedExpr represents a well-typed expression.