We have a notion of ADTs but it can't capture the notion of having multiple variants and fields per variant. Part of #368. This might be best done by also fixing #506. <!-- TRIAGEBOT_START --> <!-- TRIAGEBOT_ASSIGN_START --> This issue has been assigned to @doctorn via [this comment](https://github.com/rust-lang/chalk/issues/505#issuecomment-641578908). <!-- TRIAGEBOT_ASSIGN_DATA_START$${"user":"doctorn"}$$TRIAGEBOT_ASSIGN_DATA_END --> <!-- TRIAGEBOT_ASSIGN_END --> <!-- TRIAGEBOT_END -->
We have a notion of ADTs but it can't capture the notion of having multiple variants and fields per variant. Part of #368.
This might be best done by also fixing #506.
This issue has been assigned to @DoctorN via this comment.