Function def_to_ty 

fn def_to_ty<'db>(
    sema: &Semantics<'db, RootDatabase>,
    def: &Definition,
) -> Option<Type<'db>>