fn partial_ord_expand( db: &dyn SourceDatabase, span: Span, tt: &TopSubtree, ) -> ExpandResult<TopSubtree>