Checks typing.assert_type(val, typ, /) calls and reports cases when val's inferred type is not typ.

Example:

def greet(name: str) -> None:
    assert_type(name, str)  # OK
    assert_type(name, int)  # Expected type 'int', got 'str' instead