Open
Description
There appears to be a missing filter on top of expand_trait_aliases
, which picks up non-supertraits where clauses - but also, the object safety completely ignores trait aliases, which could be object safety hazards. We now use delay_span_bug
there to avoid an ICE in stable even when the feature is disabled.
Metadata
Metadata
Assignees
Labels
Area: Dyn compatibility (formerly: object safety)Area: trait objects, vtable layoutCategory: This is a bug.`#![feature(trait_alias)]`Relevant to the compiler team, which will review and decide on the PR/issue.Relevant to the types team, which will review and decide on the PR/issue.This issue requires a nightly compiler in some way.