#!/usr/bin/env python3
i: int
i = 1
# Error:
i = 'a'