Commit Graph

1 Commits

Author SHA1 Message Date
florian
ceda27ae25 * allow type parameters in variant parts of records as we do not now
what type is used during specialization, resolves 
2022-06-28 22:45:17 +02:00