[issue35320] Writable __spec__.has_location attribute

[Géry]

New submission from Géry <gery.ogam at gmail.com>:

How to reproduce:
Assign the __spec__.has_location attribute of any module.

Observed result:
__spec__.has_location is a writable.

Expected result:
__spec__.has_location should be read-only, as defined in PEP 451: https://www.python.org/dev/peps/pep-0451/#attributes

----------
components: Library (Lib)
messages: 330474
nosy: barry, brett.cannon, docs at python, eric.snow, maggyero, mdk, ncoghlan
priority: normal
severity: normal
status: open
title: Writable __spec__.has_location attribute
type: behavior
versions: Python 3.7

_______________________________________
Python tracker <report at bugs.python.org>
<https://bugs.python.org/issue35320>
_______________________________________