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