Method inlineExpr

cel/inlining.go:136–148

inlineExpr replaces the current expression with the inlined one, unless the location of the inlining happens within a presence test, e.g. has(a.b.c) -> inline alpha for a.b.c in which case an attempt is made to determine whether the inlined value can be presence or existence tested.

(ctx *OptimizerContext, prev ast.NavigableExpr, inlined ast.Expr, inlinedType *Type)

// happens within a presence test, e.g. has(a.b.c) -> inline alpha for a.b.c in which case an attempt is
// made to determine whether the inlined value can be presence or existence tested.
func (opt *inliningOptimizer) inlineExpr(ctx *OptimizerContext, prev ast.NavigableExpr, inlined ast.Expr, inlinedType *Type) {
	switch prev.Kind() {
	case ast.SelectKind:
		sel := prev.AsSelect()
		if !sel.IsTestOnly() {
			ctx.UpdateExpr(prev, inlined)
			return
		}
		opt.rewritePresenceExpr(ctx, prev, inlined, inlinedType)
	default:
		ctx.UpdateExpr(prev, inlined)
	}
}

// rewritePresenceExpr converts the inlined expression, when it occurs within a has() macro, to type-safe
// expression appropriate for the inlined type, if possible.