From 14402aa12e5d23292aa21a395f783b6854a10c0a Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Mon, 10 Feb 2025 09:58:46 -0800 Subject: [PATCH] Clarify comment Signed-off-by: Danila Fedorin --- frontend/lib/types/Type.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/frontend/lib/types/Type.cpp b/frontend/lib/types/Type.cpp index fe38465c23a3..c3a5b61110eb 100644 --- a/frontend/lib/types/Type.cpp +++ b/frontend/lib/types/Type.cpp @@ -396,7 +396,8 @@ static bool const& isDefaultInitializableQuery(Context* context, const Type* t) } // note: production disallows default-init for generic fields like `var x;`, - // but why? Seems like this is an implementation detail. Allow it in Dyno. + // even if they are instantiated with a type that is default-initializable. + // But why? Seems like this is an implementation detail. Allow it in Dyno. result = resolution::tryResolveZeroArgInit(context, ast, t) != nullptr; }