specialization: default items completely drop candidates instead of ambiguity (original) (raw)

Provide feedback

Appearance settings

which is unsound during coherence, as coherence requires completeness

#![feature(specialization)]

trait Default { type Id; }

impl Default for T { default type Id = T; }

trait Overlap { type Assoc; }

impl Overlap for u32 { type Assoc = usize; }

impl Overlap for ::Id { type Assoc = Box; }

let eligible = match &impl_source {