Function as_trait_assoc_def 

pub(crate) fn as_trait_assoc_def(
    db: &dyn HirDatabase,
    def: Definition,
) -> Option<Definition>

If this is an trait (impl) assoc item, returns the assoc item of the corresponding trait definition.