Skip to content

Conversation

@adriangb
Copy link
Contributor

@adriangb adriangb commented May 30, 2023

Fixes #36

@adriangb adriangb requested review from Zac-HD and samuelcolvin May 30, 2023 05:15
@codecov-commenter
Copy link

codecov-commenter commented May 30, 2023

Codecov Report

Merging #38 (fb9d61b) into main (03b79a5) will decrease coverage by 4.74%.
The diff coverage is 88.88%.

❗ Your organization is not using the GitHub App Integration. As a result you may experience degraded service beginning May 15th. Please install the Github App Integration for your organization. Read more.

@@             Coverage Diff             @@
##              main      #38      +/-   ##
===========================================
- Coverage   100.00%   95.26%   -4.74%     
===========================================
  Files            1        2       +1     
  Lines           59      169     +110     
  Branches         5       48      +43     
===========================================
+ Hits            59      161     +102     
- Misses           0        7       +7     
- Partials         0        1       +1     
Impacted Files Coverage Δ
annotated_types/__init__.py 92.72% <88.88%> (ø)

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

Comment on lines +174 to +176
@property
def __is_annotated_types_grouped_metadata__(self) -> Literal[True]:
return True
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Note that this can be implemented as an attribute, the usual "cannot override a property with an attribute" thing type checkers like to complain about doesn't apply to protocol subclasses.

@adriangb adriangb merged commit 60aa35c into annotated-types:main May 30, 2023
@adriangb adriangb deleted the rename-groupedmetadata branch May 30, 2023 22:45
adriangb added a commit that referenced this pull request May 30, 2023
adriangb added a commit to adriangb/annotated-types that referenced this pull request May 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Make GroupedMetadata a protocol?

3 participants