Validate the Kept attribute against the presence of EEType in NativeAOT

src/coreclr/tools/aot/ILCompiler.Compiler/Compiler/Compilation.cs

@@ -691,6 +691,8 @@ public IEnumerable<TypeDesc> ConstructedEETypes
                 }
             }
         }
+
+        public DependencyAnalyzerBase<NodeFactory> Graph => _graph;
     }
 
     public sealed class ConstrainedCallInfo

src/coreclr/tools/aot/Mono.Linker.Tests.Cases/DataFlow/ComplexTypeHandling.cs

@@ -28,9 +28,7 @@ public static void Main ()
 			TestArrayInAttributeParameter_ViaReflection ();
 		}
 
-		// NativeAOT: No need to preserve the element type if it's never instantiated
-		// There will be a reflection record about it, but we don't validate that yet
-		[Kept (By = ProducedBy.Trimmer)]
+		[Kept]
 		class ArrayElementType
 		{
 			public ArrayElementType () { }
@@ -58,9 +56,7 @@ static void RequirePublicMethodsOnArrayOfGeneric<T> ()
 			RequirePublicMethods (typeof (T[]));
 		}
 
-		// NativeAOT: No need to preserve the element type if it's never instantiated
-		// There will be a reflection record about it, but we don't validate that yet
-		[Kept (By = ProducedBy.Trimmer)]
+		[Kept]
 		class ArrayElementInGenericType
 		{
 			public ArrayElementInGenericType () { }

src/coreclr/tools/aot/Mono.Linker.Tests.Cases/DataFlow/IReflectDataflow.cs

@@ -118,9 +118,7 @@ class MyReflect : IReflect
 			public object InvokeMember (string name, BindingFlags invokeAttr, Binder binder, object target, object[] args, ParameterModifier[] modifiers, CultureInfo culture, string[] namedParameters) => throw new NotImplementedException ();
 		}
 
-		// NativeAOT: Doesn't preserve this type because there's no need. The type itself is never instantiated
-		// there's only a field of that type and accessed to that field can be made without knowing it's type (just memory address access)
-		[Kept (By = ProducedBy.Trimmer)]
+		[Kept]
 		[KeptBaseType (typeof (MyReflect), By = ProducedBy.Trimmer)]
 		class MyReflectDerived : MyReflect
 		{

src/coreclr/tools/aot/Mono.Linker.Tests.Cases/DynamicDependencies/DynamicDependencyMethod.cs

@@ -105,13 +105,11 @@ static Nested ()
 
 		class Complex
 		{
-			// NativeAOT currently only validates runtime type information, in this case ilc only keeps metadata, but no runtime info
-			// since the type is never instantiated or used anywhere else, just in the method signature.
-			[Kept (By = ProducedBy.Trimmer)]
+			[Kept]
 			public struct S<T> { }
 			[Kept]
 			public class A { }
-			[Kept (By = ProducedBy.Trimmer)]
+			[Kept]
 			public class G<T, U> { }
 
 			[Kept]

src/coreclr/tools/aot/Mono.Linker.Tests.Cases/LinkXml/TypeWithPreserveFieldsHasBackingFieldsOfPropertiesRemoved.cs

@@ -65,7 +65,7 @@ interface IFoo3<T, K, J>
 			int Bar3 { get; set; }
 		}
 
-		// Cat class should be Kept https://github.com/dotnet/runtime/issues/80408
+		[Kept (By = ProducedBy.NativeAot)]
 		class Cat
 		{
 		}

src/coreclr/tools/aot/Mono.Linker.Tests/TestCasesRunner/AssemblyChecker.cs

@@ -10,6 +10,7 @@
 using System.Text;
 using FluentAssertions;
 using ILCompiler;
+using ILCompiler.DependencyAnalysis;
 using Internal.IL.Stubs;
 using Internal.TypeSystem;
 using Internal.TypeSystem.Ecma;
@@ -159,12 +160,12 @@ public void Verify ()
 
 		private void PopulateLinkedMembers ()
 		{
-			foreach (TypeDesc? constructedType in testResult.TrimmingResults.ConstructedEETypes) {
-				AddType (constructedType);
+			foreach (TypeDesc type in testResult.TrimmingResults.Graph.MarkedNodeList.OfType<IEETypeNode> ().Select (node => node.Type)) {
+				AddType (type);
 			}
 
-			foreach (MethodDesc? compiledMethod in testResult.TrimmingResults.CompiledMethodBodies) {
-				AddMethod (compiledMethod);
+			foreach (MethodDesc method in testResult.TrimmingResults.Graph.MarkedNodeList.OfType<IMethodBodyNode> ().Select (node => node.Method)) {
+				AddMethod (method);
 			}
 
 			void AddMethod (MethodDesc method)