fn parse_adt_from_syntax( adt: &Adt, tm: &SpanMap, call_site: Span, ) -> Result<BasicAdtInfo, ExpandError>