Discussion: Record primary constructors XML docs

[weitzhandler]

Hi,

This is a broader question but it specifically concerns records with primary constructors, imagine the following scenario:

/// <summary>Represents a foo.</summary>
interface IFoo
{
    /// <summary>Gets my integer</summary>
    int MyInteger { get; }    
}

/// <inheritdoc />
record Foo(int MyInteger) : IFoo;

Isn't obvious from my scenario that the XML docs of MyInteger is intended to come from the interface? What about Foo inheriting the docs from IFoo, especially given it's the only interface it implements and that it's decorated with ineritdocs?