Function newInferContextNoDecl

analysis/infercontext.go:23–25

NewInferContextNoDecl returns an inferContext for a predicate that does not have a declaration.

(bc *BoundsAnalyzer, pred *ast.PredicateSym, clause *ast.Clause)

// NewInferContextNoDecl returns an inferContext for a predicate that does not have a declaration.
func newInferContextNoDecl(bc *BoundsAnalyzer, pred *ast.PredicateSym, clause *ast.Clause) *inferContext {
	return &inferContext{bc: bc, pred: pred, clause: clause}
}

// NewInferContextNoDecl returns an inferContext for a predicate that does not have a declaration.
func newInferContext(bc *BoundsAnalyzer, decl *ast.Decl, clause *ast.Clause) *inferContext {