Closed
Description
encountered during try builds when compiling wasmparser
.
pub trait Trait: Super {}
pub trait Super {
type Output;
}
fn bound<T: Trait + ?Sized>() {}
fn visit_simd_operator<V: Super + ?Sized>() {
bound::<dyn Trait<Output = <V as Super>::Output>>();
}
compiles on stable, results in the following ICE with the new solver
thread 'rustc' panicked at /home/lcnr/rust/compiler/rustc_next_trait_solver/src/solve/assembly/structural_traits.rs:930:26:
expected to be able to unify goal projection with dyn's projection: NoSolution
Metadata
Metadata
Assignees
Labels
No labels
Type
Projects
Status
done