From ecb403b50bbb896c27e8d72d7dec23933e8312ba Mon Sep 17 00:00:00 2001
From: Tim Rid <6593626+timrid@users.noreply.github.com>
Date: Thu, 31 Dec 2020 00:31:15 +0100
Subject: [PATCH] added value to Const and Default

---
 construct-stubs/core.pyi | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/construct-stubs/core.pyi b/construct-stubs/core.pyi
index 30a3b74..916bfda 100644
--- a/construct-stubs/core.pyi
+++ b/construct-stubs/core.pyi
@@ -466,6 +466,7 @@ class Renamed(
 # miscellaneous
 # ===============================================================================
 class Const(Subconstruct[SubconParsedType, SubconBuildTypes, ParsedType, BuildTypes]):
+    value: SubconBuildTypes
     @t.overload
     def __new__(
         cls,
@@ -498,10 +499,11 @@ class Rebuild(Subconstruct[SubconParsedType, SubconBuildTypes, ParsedType, Build
     ) -> Rebuild[SubconParsedType, SubconBuildTypes, SubconParsedType, None]: ...
 
 class Default(Subconstruct[SubconParsedType, SubconBuildTypes, ParsedType, BuildTypes]):
+    value: SubconBuildTypes
     def __new__(
         cls,
         subcon: Construct[SubconParsedType, SubconBuildTypes],
-        value: ConstantOrContextLambda[SubconBuildTypes],
+        value: SubconBuildTypes,
     ) -> Default[
         SubconParsedType,
         SubconBuildTypes,