nit - insert new lines

This commit is contained in:
Vighnesh 2024-10-11 13:53:08 -07:00
parent ee6a45b13b
commit 74c1ac33a9
2 changed files with 4 additions and 0 deletions

1
tests/.#TypeVar.test.cpp Symbolic link
View file

@ -0,0 +1 @@
vvijay@HQ-VHWFGJQN04.96773

View file

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