fn goto_type_action_for_def(
sema: &Semantics<'_, RootDatabase>,
def: Definition,
notable_traits: &[(Trait, Vec<(Option<Type<'_>>, Name)>)],
subst_types: Option<Vec<(Symbol, Type<'_>)>>,
edition: Edition,
) -> Option<HoverAction>fn goto_type_action_for_def(
sema: &Semantics<'_, RootDatabase>,
def: Definition,
notable_traits: &[(Trait, Vec<(Option<Type<'_>>, Name)>)],
subst_types: Option<Vec<(Symbol, Type<'_>)>>,
edition: Edition,
) -> Option<HoverAction>