Could be moved outside the loop? #Resolved

• When can the this condition be false?

• What if the Deconstruct method is declared explicitly:

  public record Base
  {
      public int I { get; set; } = 42;
      public Base(int ignored) { }
  
      public void Deconstruct(out string s, out string s2) { s = s2 = "";  }
  }
  public record C(int I) : Base(I)
  {
      public void I() { }
  
      public void Deconstruct(out string s, out string s2) { s = s2 = "";  }
  }
  ``` #Resolved

• the condition is false when addProperties in SourceMemberContainerSymbol doesn't find a property for each parameter (we produce ERR_BadRecordMemberForPositionalParameter in that case).
• thanks. I need to think more about scenarios where Deconstruct is declared in source. We should produce a diagnostic too, but currently don't.

In reply to: 614614357 [](ancestors = 614614357)

If prop is abstract, it won't be validated, is that intended? i.e:

abstract record Base
{
    public abstract int I { get; init; }
}

record Derived(int I) : Base
{
    public int I() { return 0; }
}

#Resolved

In that scenario Derived defined a concrete property I and a method I() (that's an error). The positional member is Derived.I so we didn't pick a hidden member, so the new error doesn't come into play.
Added tests to illustrate. Thanks for the scenario. #Resolved