Skip to content

Compiler errors out on let _: (any Any).Type = (any Any).self #78042

Open
@AnthonyLatsis

Description

@AnthonyLatsis

Description

No response

Reproduction

protocol P {}
let _: (any P).Type = (any P).self // ok
let _: (any Any).Type = (any Any).self // ew
409 | 
410 | protocol P {}
411 | let _: (any Any).Type = (any Any).self
    |                              `- error: expected ',' separator [expected_separator]
412 | let _: (any P).Type = (any P).self
413 |

Expected behavior

No error.

Environment

Swift version 6.1-dev (LLVM 393ce0eca916d0f, Swift e313070d28bae6f)

Additional information

No response

Metadata

Metadata

Assignees

No one assigned

    Labels

    AnyFeature → types: The `Any` built-in typebugA deviation from expected or documented behavior. Also: expected but undesirable behavior.compilerThe Swift compiler itselfexistentialsFeature: values of types like `any Collection`, `Any` and `AnyObject`; type-erased valuesexpressionsFeature: expressionsmetatypesFeature → types: MetatypesparserArea → compiler: The legacy C++ parserswift 6.0typesFeature: types

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions