// 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() {} } }