// Compiler options: -doc:xml-072.xml

class X
{
	/// <summary>
	/// Top-class
	/// </summary>
	public sealed class C
	{
		public string Severity => "foo";

		/// <summary>
		/// foo
		/// </summary>
		public static void Main() {}
	}
}