Skip to content

Trait upcasting is not implemented yet #18083

New issue
Jump to bottom
New issue
Jump to bottom
Closed
#18944
Closed
Trait upcasting is not implemented yet#18083
#18944
Assignees
ShoyuVanilla
Labels
A-chalkchalk related issueA-tytype system / type inference / traits / method resolutionBroken WindowBugs / technical debt to be addressed immediatelyC-bugCategory: bug
@ShoyuVanilla

Description

@ShoyuVanilla
ShoyuVanilla
opened on Sep 9, 2024

Miri also hits this incorrect diagnostics, in this line.

Originally posted by @RalfJung in #18047 (comment)

Metadata

Assignees

Labels

A-chalkchalk related issueA-tytype system / type inference / traits / method resolutionBroken WindowBugs / technical debt to be addressed immediatelyC-bugCategory: bug

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions