Skip to content

Missing any not diagnosed in borrowing ~(Copyable & Copyable) #78936

New issue
New issue
Open
Open
Missing any not diagnosed in borrowing ~(Copyable & Copyable)#78936
Assignees
AnthonyLatsis
Labels
accepts invalidBug: Accepts invalidbugA 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 valuesswift 6.2type checkerArea → compiler: Semantic analysistypesFeature: types
@AnthonyLatsis

Description

@AnthonyLatsis
AnthonyLatsis
opened on Jan 27, 2025

Description

No response

Reproduction

func foo1(_: borrowing ~(Copyable & Copyable)) {}

Expected behavior

Error.

Environment

Swift version 6.2-dev (95dca81)

Additional information

No response

Metadata

Metadata

Assignees

Labels

accepts invalidBug: Accepts invalidbugA 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 valuesswift 6.2type checkerArea → compiler: Semantic analysistypesFeature: types

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions