mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-01-10 05:22:23 +08:00
Mark many attributes as read-only properties (#7591)
This commit is contained in:
@@ -152,7 +152,8 @@ class PrefixWrapper:
|
||||
def __init__(
|
||||
self, name, wrapped, prefix=..., orig_prefix=..., lazy: bool = ..., doc: Any | None = ..., ident: Any | None = ...
|
||||
) -> None: ...
|
||||
wrapped: Any
|
||||
@property
|
||||
def wrapped(self): ...
|
||||
@property
|
||||
def ident(self): ...
|
||||
@property
|
||||
|
||||
Reference in New Issue
Block a user