Skip to content
Run tests

Use type checking to detect invalid mutants #349

Sign in to view logs

Use type checking to detect invalid mutants

Use type checking to detect invalid mutants #349

Triggered via pull request February 15, 2026 10:24
@Otto-AAOtto-AA
synchronize #468
type-checking
Status Failure
Total duration 26s
Artifacts –

tests.yml

on: pull_request
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

35 errors
Test Python 3.11
Process completed with exit code 1.
Pyrefly bad-assignment: src/type_checking/__init__.py#L144
`None` is not assignable to `str`
Pyrefly bad-argument-type: src/type_checking/__init__.py#L121
Argument `None` is not assignable to parameter `name` with type `str` in function `Person.set_name`
Pyrefly missing-attribute: src/type_checking/__init__.py#L116
Object of class `NoneType` has no attribute `get_name`
Pyrefly missing-attribute: src/type_checking/__init__.py#L114
Object of class `NoneType` has no attribute `set_name`
Pyrefly bad-assignment: src/type_checking/__init__.py#L90
`None` is not assignable to attribute `name` with type `str`
Pyrefly unsupported-operation: src/type_checking/__init__.py#L68
`-` is not supported between `str` and `Literal['2']` Cannot find `__sub__` or `__rsub__`
Test Python 3.12
Process completed with exit code 1.
Pyrefly bad-assignment: src/type_checking/__init__.py#L144
`None` is not assignable to `str`
Pyrefly bad-argument-type: src/type_checking/__init__.py#L121
Argument `None` is not assignable to parameter `name` with type `str` in function `Person.set_name`
Pyrefly missing-attribute: src/type_checking/__init__.py#L116
Object of class `NoneType` has no attribute `get_name`
Pyrefly missing-attribute: src/type_checking/__init__.py#L114
Object of class `NoneType` has no attribute `set_name`
Pyrefly bad-assignment: src/type_checking/__init__.py#L90
`None` is not assignable to attribute `name` with type `str`
Pyrefly unsupported-operation: src/type_checking/__init__.py#L68
`-` is not supported between `str` and `Literal['2']` Cannot find `__sub__` or `__rsub__`
Test Python 3.13
Process completed with exit code 1.
Pyrefly bad-assignment: src/type_checking/__init__.py#L144
`None` is not assignable to `str`
Pyrefly bad-argument-type: src/type_checking/__init__.py#L121
Argument `None` is not assignable to parameter `name` with type `str` in function `Person.set_name`
Pyrefly missing-attribute: src/type_checking/__init__.py#L116
Object of class `NoneType` has no attribute `get_name`
Pyrefly missing-attribute: src/type_checking/__init__.py#L114
Object of class `NoneType` has no attribute `set_name`
Pyrefly bad-assignment: src/type_checking/__init__.py#L90
`None` is not assignable to attribute `name` with type `str`
Pyrefly unsupported-operation: src/type_checking/__init__.py#L68
`-` is not supported between `str` and `Literal['2']` Cannot find `__sub__` or `__rsub__`
Test Python 3.10
Process completed with exit code 1.
Pyrefly bad-assignment: src/type_checking/__init__.py#L144
`None` is not assignable to `str`
Pyrefly bad-argument-type: src/type_checking/__init__.py#L121
Argument `None` is not assignable to parameter `name` with type `str` in function `Person.set_name`
Pyrefly missing-attribute: src/type_checking/__init__.py#L116
Object of class `NoneType` has no attribute `get_name`
Pyrefly missing-attribute: src/type_checking/__init__.py#L114
Object of class `NoneType` has no attribute `set_name`
Pyrefly bad-assignment: src/type_checking/__init__.py#L90
`None` is not assignable to attribute `name` with type `str`
Pyrefly unsupported-operation: src/type_checking/__init__.py#L68
`-` is not supported between `str` and `Literal['2']` Cannot find `__sub__` or `__rsub__`
Test Python 3.14
Process completed with exit code 1.
Pyrefly bad-assignment: src/type_checking/__init__.py#L144
`None` is not assignable to `str`
Pyrefly bad-argument-type: src/type_checking/__init__.py#L121
Argument `None` is not assignable to parameter `name` with type `str` in function `Person.set_name`
Pyrefly missing-attribute: src/type_checking/__init__.py#L116
Object of class `NoneType` has no attribute `get_name`
Pyrefly missing-attribute: src/type_checking/__init__.py#L114
Object of class `NoneType` has no attribute `set_name`
Pyrefly bad-assignment: src/type_checking/__init__.py#L90
`None` is not assignable to attribute `name` with type `str`
Pyrefly unsupported-operation: src/type_checking/__init__.py#L68
`-` is not supported between `str` and `Literal['2']` Cannot find `__sub__` or `__rsub__`