We looked for tickets in 4 places.

We did not find a ticket in the Pull Request title,

Add test case for class primary constructors

We did not find a ticket in the Pull Request body,

These create mutable fields, so this test should fail but maybe doesn't

We did not find a ticket in commit 9633977, with message

Add test case for class primary constructors

These create mutable fields, so this test should fail but maybe doesn't

We did not find a ticket in commit 796f72f, with message

add more stuff, just poking around