Mechanized type inference for record concatenation (by Gabriella439) — discussion

#plt