[CaffeinatedCoder]

Closes #207

Problem

CMTK0005 and CMTK0006 decided "no default" with TypeKitSymbols.IsNoDefaultStruct, which admitted a type parameter only beside struct. CMTK0001 and CMTK0009 use DefaultRestriction, which also admits a parameter bound by the marker beside new(): a generated class has no public parameterless constructor, so such a T is a struct value object. For where T : IEntityId<T>, new(), new T() was CMTK0001 while new T[3] and an unassigned T field reported nothing, although the Analyzers README defines both rules over CMTK0001's list.

Change

IsNoDefaultStruct is DefaultRestriction(type) is not null, the predicate CMTK0001 reads. Both rules are Warnings, which the README lets learn forms in a minor version, so no exception to decision 34. Changelog line under 2.3.1.

Tests

• NoDefaultKindTests runs CMTK0001, CMTK0005 and CMTK0006 over every kind of TypeArgumentKinds (80, with the reported shape added: a new() parameter bound by an interface deriving from IValue<int>) against one oracle, the README's list. CMTK0001 agreed on all 80 before the fix; the two new() kinds were the only rows where the other two did not.
• Reverting the source fails the 4 new() rows of 240.
• Full suite green on a merge of this branch with EF Core: Min, Max, Order or OrderBy(x => x) over a value object boxed to object orders by the column, not its CompareTo #206's and A closed set over a base class that declares a generated member fails with a Metalama error, or its ToString() is replaced #205's fix branches (33,026 passed, SQL Server on azure-sql-edge).

Found by a sweep of release/2.3.1 @ dbdd44e for the defect class of #191-#197.

🤖 Generated with Claude Code