-
Andrei Paskevich authored
We only destruct n-tuples, unit types, and singleton records without invariants. We only inline projection-like functions for these types.
fa17cfa0
We only destruct n-tuples, unit types, and singleton records without invariants. We only inline projection-like functions for these types.