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