All follow roughly the same pattern, scanning Python code with type annotations and providing ... However, this means that some problems that should be flagged (e.g., declaring a variable with ...