blob: 8260a5ab821c691682eea2e980fb21df29b05d6a [file] [log] [blame]
// Part of the Crubit project, under the Apache License v2.0 with LLVM
// Exceptions. See /LICENSE for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
#include "nullability_test.h"
TEST void symbolicNullability(symbolic::X<int *> P, symbolic::Y<int *> Q) {
type<symbolic::X<int *>>(P);
type<Nonnull<symbolic::X<int *> *>>(&P);
type<symbolic::Y<int *>>(Q);
}