No error when attempting to use property object as that property's type

• Are you reporting a bug, or opening a feature request? Bug
• Please insert below the code you are checking with mypy,
  or a mock-up repro if the source is private. We would appreciate
  if you try to simplify your case to a minimal repro.

from typing import NamedTuple


class C(NamedTuple):
    a: int = 1


print(C.a * 2)

• What is the actual behavior/output?

mypy a.py produces no output.

• What is the behavior/output you expect?

An error at C.a * 2, as it will cause an error at runtime: TypeError: unsupported operand type(s) for *: 'property' and 'int'

• What are the versions of mypy and Python you are using?

python --version: 3.7.2
mypy --version: 0.660+dev.97d7760dca6d95806a97b02992ae88a082898a0e

Do you see the same issue after installing mypy from Git master? Yes

• What are the mypy flags you are using? (For example --strict-optional) None

Bắt đầu bằng cách chạy mypy a.py với ví dụ được báo cáo và xác nhận rằng nó không tạo ra đầu ra nào, trong khi Python phát sinh TypeError đã nêu. Theo dõi cách mypy xử lý việc truy cập thuộc tính NamedTuple và biểu thức số học; hoàn tất khi mypy báo lỗi tại C.a * 2 trong trường hợp này.