#![feature(doc_spotlight)]

impl Spotlighted {
    // doesn't work because of aliases
    pub fn a() -> Self { unimplemented!() }
    pub fn b() -> <Self as Trait>::Assoc { unimplemented!() }    
    pub fn c() -> Alias { unimplemented!() }

    // works 
    pub fn the_only_that_works() -> Spotlighted { unimplemented!() }	
}

pub trait Trait {
    type Assoc: Spotlight;

    // doesn't show spotlight although Assoc has bound
    fn test() -> Self::Assoc { unimplemented!() }
}

#[doc(spotlight)]
pub trait Spotlight {}

pub struct Spotlighted;

impl Spotlight for Spotlighted {}

impl Trait for Spotlighted {
    type Assoc = Self;
}

pub type Alias = Spotlighted;