re-add assertion

This commit is contained in:
Vighnesh 2024-10-11 13:39:14 -07:00
parent f52fe9f351
commit 69776f6fc1

View file

@ -465,9 +465,11 @@ TEST_CASE("proof_that_isBoolean_uses_all_of")
TEST_CASE("content_reassignment")
{
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wmaybe-uninitialized"
Type myAny{AnyType{}, /*presistent*/ true};
myAny.documentationSymbol = "@global/any";
#pragma GCC diagnostic pop
TypeArena arena;
TypeId futureAny = arena.addType(FreeType{TypeLevel{}});