Function checkBoundDecl

analysis/declcheck_test.go:44–46

(boundDecl ast.BoundDecl)

}

func checkBoundDecl(boundDecl ast.BoundDecl) []error {
	return newDeclChecker(mustDecl([]ast.Atom{docAtomOne, argAtomBar, argAtomBaz}, []ast.BoundDecl{boundDecl}, nil)).check()
}

func TestBoundsCheckingPositive(t *testing.T) {
	tests := []struct {