Skip to content

Mangled existential types decode to constraint types #65879

New issue
New issue
Open
Open
Mangled existential types decode to constraint types#65879
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 valuesswift 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
  • Watch these check directives pass all the same

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 valuesswift 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