Annotate Core/IoC reflective surface for AOT (closes #253)

[jeremydmiller]

Second AOT-pillar slice (#213) — closes #253.

30 IL warnings per TFM across 7 files in Core/IoC → 0, plus matching propagation to AssemblyScanner / ScanningExploder / ServiceCollectionExtensions.Scan to keep IL2026 quiet across the public convention-registration surface.

Why annotate (not just suppress)

Convention-scanning is fundamentally trim-hostile: TypeSet enumerates types from loaded assemblies, conventions register types by naming / interface patterns, and ServiceDescriptors are constructed from runtime-discovered Types. AOT-publishing apps should either avoid convention-based registration entirely (use explicit services.AddSingleton<TService, TImpl>()) or substitute a source-generated registration manifest.

Public surface annotated

Member	Annotation
IRegistrationConvention.ScanTypes	[RUC] + [RDC]
ServiceCollectionExtensions.Scan(IServiceCollection, Action<IAssemblyScanner>)	[RUC] + [RDC]
ServiceCollectionExtensions.AddType(IServiceCollection, Type, Type, ServiceLifetime)	[DAM(PublicConstructors)] on implementationType
AssemblyScanner.ApplyRegistrations	[RUC] + [RDC]
FindAllTypesFilter.IRegistrationConvention.ScanTypes	[RUC] + [RDC] (matches interface)

Implementations annotated (match interface)

DefaultConventionScanner.ScanTypes, FirstInterfaceConvention.ScanTypes, ImplementationMap.ScanTypes, GenericConnectionScanner.ScanTypes — all carry the matching [RequiresUnreferencedCode] + [RequiresDynamicCode].

Internal helpers annotated

Member	Annotation
TypeExtensions.CanBeCreated(this Type)	[DAM(PublicConstructors)]
TypeExtensions.FindFirstInterfaceThatCloses(this Type, Type)	[DAM(Interfaces)]
TypeExtensions.FindInterfacesThatClose(this Type, Type)	[DAM(Interfaces)]

Internal propagation

ScanningExploder.Explode + ExplodeSynchronously annotated with [RUC] + [RDC] to keep the convention-scan dispatch site quiet.

Suppressed with justification

Site	Why
DefaultConventionScanner.FindServiceType	IL2070 on GetInterfaces(). Reached only from ScanTypes which is annotated; user invariant for convention scanning is that registered types' interfaces survive trimming.
GenericConnectionScanner.addConcretionsThatCouldBeClosed	IL2055 + IL2067 + IL3050 on MakeGenericType + ServiceDescriptor ctor. The caller (ScanTypes) is annotated [RDC].
FindAllTypesFilter.Matches + determineLeastSpecificButValidType	IL2070 + IL2067 on type.GetConstructors() + FindFirstInterfaceThatCloses. Convention-scan discovery surface.
TypeExtensions.rawFindInterfacesThatCloses	IL2070 on the recursive BaseType walk. Trim impact bounded by the entry-point [DAM(Interfaces)].

Effect on the punch list

Before:  JasperFx total per TFM  188
After:   JasperFx total per TFM  158  (-30, this slice)

Remaining slices: #252 Core/Reflection (64), #254 ServiceContainer.cs (16, PR #256 in flight), #255 CodeGeneration/Services (22, PR #257 in flight), plus smaller tails.

Verification

• CoreTests — 407/407 pass on net9.0 + net10.0
• SmokeTestAot — build clean, exits 0

Closes #253.

🤖 Generated with Claude Code