Produce a note.
(
self,
msg: str | ErrorMessage,
context: Context,
offset: int = 0,
*,
code: ErrorCode | None = None,
)
| 8007 | return self.msg.fail(msg, context, code=code) |
| 8008 | |
| 8009 | def note( |
| 8010 | self, |
| 8011 | msg: str | ErrorMessage, |
| 8012 | context: Context, |
| 8013 | offset: int = 0, |
| 8014 | *, |
| 8015 | code: ErrorCode | None = None, |
| 8016 | ) -> None: |
| 8017 | """Produce a note.""" |
| 8018 | if isinstance(msg, ErrorMessage): |
| 8019 | self.msg.note(msg.value, context, code=msg.code) |
| 8020 | return |
| 8021 | self.msg.note(msg, context, offset=offset, code=code) |
| 8022 | |
| 8023 | def iterable_item_type(self, it: ProperType, context: Context) -> Type: |
| 8024 | if isinstance(it, Instance): |
no test coverage detected