From 87f30f955d138241890eb9c7c9371aca89f72fc2 Mon Sep 17 00:00:00 2001 From: Rex Jaeschke Date: Thu, 23 Oct 2025 18:34:46 -0400 Subject: [PATCH] Correct type/member signatures in Annex C, "Standard library" --- standard/standard-library.md | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/standard/standard-library.md b/standard/standard-library.md index 77bd8abb4..317754362 100644 --- a/standard/standard-library.md +++ b/standard/standard-library.md @@ -127,11 +127,11 @@ namespace System public Exception(); public Exception(string? message); public Exception(string? message, Exception? innerException); - public sealed Exception? InnerException { get; } + public Exception? InnerException { get; } public virtual string Message { get; } } - public class GC { } + public static class GC { } public interface IDisposable { @@ -181,7 +181,7 @@ namespace System Exception? innerException); } - public struct Nullable + public struct Nullable where T : struct { public bool HasValue { get; } public T Value { get; } @@ -198,7 +198,7 @@ namespace System { public Object(); ~Object(); - public virtual bool Equals(object obj); + public virtual bool Equals(object? obj); public virtual int GetHashCode(); public Type GetType(); public virtual string? ToString(); @@ -215,7 +215,7 @@ namespace System public ObsoleteAttribute(string? message); public ObsoleteAttribute(string? message, bool error); public bool IsError { get; } - public string Message? { get; } + public string? Message { get; } } public class OutOfMemoryException : Exception @@ -242,11 +242,13 @@ namespace System public StackOverflowException(string? message, Exception? innerException); } - public sealed class String : IEnumerable, IEnumerable + public sealed class String : IEnumerable, IEnumerable { public int Length { get; } public char this [int index] { get; } public static string Format(string format, params object?[] args); + System.Collections.IEnumerator IEnumerable.GetEnumerator(); + System.Collections.Generic.IEnumerator IEnumerable.GetEnumerator(); } public class SystemException : Exception