Skip to content

Mangled singleton existential metatypes decode to constraint type metatypes #65880

New issue
New issue
Open
Open
Mangled singleton existential metatypes decode to constraint type metatypes#65880
Labels
bugA deviation from expected or documented behavior. Also: expected but undesirable behavior.compilerThe Swift compiler itselfdemanglingArea → compiler: The `libswiftDemangling` libraryexistentialsFeature: values of types like `any Collection`, `Any` and `AnyObject`; type-erased valuesmetatypesFeature → types: Metatypesswift 5.9typesFeature: typesunexpected behaviorBug: Unexpected behavior or incorrect output
@AnthonyLatsis

Description

@AnthonyLatsis
AnthonyLatsis
opened on May 12, 2023

Steps to reproduce

  • Set PrintExplicitAny to true
  • Build from source
  • Pass --match-full-lines to FileCheck in test/TypeDecoder/existentials.swift and run the test
  • Humor the failures
  • Watch these these check directives pass

Environment

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugA deviation from expected or documented behavior. Also: expected but undesirable behavior.compilerThe Swift compiler itselfdemanglingArea → compiler: The `libswiftDemangling` libraryexistentialsFeature: values of types like `any Collection`, `Any` and `AnyObject`; type-erased valuesmetatypesFeature → types: Metatypesswift 5.9typesFeature: typesunexpected behaviorBug: Unexpected behavior or incorrect output

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions