AL0044 - AotSafe violation

[AotSafe] code must not call methods with [RequiresDynamicCode]

Source: AL0044AotSafeViolationAnalyzer.cs

Description

Code marked with [AotSafe] guarantees it will work correctly in AOT-compiled applications. Calling methods with [RequiresDynamicCode] violates this guarantee because those methods rely on runtime code generation which is not available in AOT scenarios.

Bad Code

[AotSafe]
public void ProcessItems<T>(IEnumerable<T> items) {
    // Warning: violates AOT safety
    var array = items.ToArray();  // May use dynamic code for T[]
}

[AotSafe]
public object CreateProxy(Type interfaceType) {
    // Warning: dynamic proxy generation not available in AOT
    return DispatchProxy.Create(interfaceType, typeof(MyProxy));
}

Good Code

[AotSafe]
public void ProcessItems(IEnumerable<string> items) {
    // Concrete type - AOT safe
    var array = items.ToArray();
}

[AotSafe]
public IMyInterface CreateService() {
    // Direct instantiation - AOT safe
    return new MyImplementation();
}

Properties

• Category: Reliability
• Severity: Warning
• Enabled by default: True
• Code fix available: False

Configuration

dotnet_diagnostic.AL0044.severity = warning

Notes

• AOT (Ahead-of-Time) compilation generates native code at build time
• Dynamic code generation (Reflection.Emit, Expression.Compile) is not available
• Use concrete types and source generators for AOT-compatible code