-
Notifications
You must be signed in to change notification settings - Fork 225
/
generics_self_basic.toml
22 lines (22 loc) · 1.92 KB
/
generics_self_basic.toml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
conformant = "Unsupported"
notes = """
Does not understand `Self` type.
"""
output = """
generics_self_basic.py:14:26 Undefined attribute [16]: Module `typing` has no attribute `Self`.
generics_self_basic.py:20:8 Incompatible return type [7]: Expected `Variable[_Self_generics_self_basic_Shape__ (bound to Shape)]` but got `Shape`.
generics_self_basic.py:27:30 Undefined attribute [16]: Module `typing` has no attribute `Self`.
generics_self_basic.py:33:8 Incompatible return type [7]: Expected `Variable[_Self_generics_self_basic_Shape__ (bound to Shape)]` but got `Shape`.
generics_self_basic.py:40:27 Undefined attribute [16]: Module `typing` has no attribute `Self`.
generics_self_basic.py:58:0 Uninitialized attribute [13]: Attribute `value` is declared in class `Container` to have type `Variable[T]` but is never initialized.
generics_self_basic.py:64:25 Undefined or invalid type [11]: Annotation `Self` is not defined as a type.
generics_self_basic.py:80:31 Incompatible parameter type [6]: In call `typing.GenericMeta.__getitem__`, for 1st positional argument, expected `Type[Variable[T]]` but got `TypeVar`.
"""
conformance_automated = "Fail"
errors_diff = """
Line 14: Unexpected errors ['generics_self_basic.py:14:26 Undefined attribute [16]: Module `typing` has no attribute `Self`.']
Line 27: Unexpected errors ['generics_self_basic.py:27:30 Undefined attribute [16]: Module `typing` has no attribute `Self`.']
Line 40: Unexpected errors ['generics_self_basic.py:40:27 Undefined attribute [16]: Module `typing` has no attribute `Self`.']
Line 58: Unexpected errors ['generics_self_basic.py:58:0 Uninitialized attribute [13]: Attribute `value` is declared in class `Container` to have type `Variable[T]` but is never initialized.']
Line 80: Unexpected errors ['generics_self_basic.py:80:31 Incompatible parameter type [6]: In call `typing.GenericMeta.__getitem__`, for 1st positional argument, expected `Type[Variable[T]]` but got `TypeVar`.']
"""