Реализовать именную, а не структурную эквивалентность типов #19
Description
Именная, а не структурная эквивалентность типов - когда два типа с разными именами несовместимы, даже если объявлены одинаковым образом, и их нельзя использовать в одном выражении без явного приведения (static_cast или reinterpret_cast).
Предложение по реализации в С++
Implementation of the requirement from STEELMAN:
3B. Type Conversions. The language shall distinguish the concepts of type (specifying data elements with common properties, including operations), subtype (i.e., a subset of the elements of a type, that is characterized by further constraints), and representations (i.e., implementation characteristics). There shall be no implicit conversions between types. Explicit conversion operations shall be automatically defined between types that are characterized by the same logical properties.