Robin Sommer d782c60f19 Unify type comparisions for records. ... For records, same_type(r1, r2) would not check if the fields' attributes match as well. That seems like an oversight, and some callers of same_type() did indeed add that check on their end. This commit moves the check into same_type() itself. That generally doesn't seem make any differences except for a couple of places validating code, which we update a bit. That in turn leans to slightly different (better?) error messages for a couple of test cases.		2020-10-05 10:47:46 +00:00
..
out	Unify type comparisions for records.	2020-10-05 10:47:46 +00:00