Test Plan for "Partial Properties" feature

[RikkiGibson]

Championed proposal: https://github.com/dotnet/csharplang/issues/6420 Speclet: https://github.com/dotnet/csharplang/blob/main/proposals/partial-properties.md Feature branch: https://github.com/dotnet/roslyn/tree/features/partial-properties

Compiler

• [x] LangVersion (LangVersion_01)
• [x] A missing or extra declaration or implementation (MissingDeclaration_*, DuplicateDeclaration_*)
• [x] Accessor mismatch (get/set missing in either declaration or implementation) (MissingAccessor_*, UnexpectedAccessor_*)
• [x] set vs. init (AccessorKind_*)
• [x] readonly vs. not (ModifierDifference_Readonly_Accessors)
• [x] Accessors split across two declarations or implementations (DuplicateDeclaration_08, split implementation but not split definition)
• [x] extern part is considered implementation
• [x] Differences in return or parameter types (TypeDifference_*, NullableDifference_*, Indexers_*)
  • [x] tuple names
  • [x] nullability (warning regardless of nullability context and warning wave)
  • [x] ref kind (RefKindDifference_*)
  • [x] alias usage (AliasDifference)
  • [x] params (ParamsDifference_*)
  • [x] optional parameters (only definition counts, implementation warns, OptionalParameters_*)
  • [x] parameter names (warning, IndexerParameterNameDifference)
• [x] static vs. non-static (StaticDifference)
• [x] virtual/override/sealed differences (ExtendedDifference_01)
• [x] abstract is disallowed (Abstract)
• [x] unsafe (UnsafeDifference_*)
• [x] required (Required_*)
• [x] Different accessibilities, explicit vs. default accessibility (ModifierDifference_Accessibility_*)
• [x] scoped (ScopedDifference_*, Semantics_Scoped)
• [x] explicit interface implementation is disallowed (ExplicitImplementation)
• [x] only in partial type (NotInPartialType)
• [x] Attributes (Attributes_*)
  • [x] Attributes on both parts
  • [x] field-targeted attribute on declaration
  • [x] nullability attribute differences
  • [x] caller attributes
  • [x] obsolete (Obsolete_*)
  • [x] UnmanagedCallersOnly
• [x] public API (PartialDefinitionPart, PartialImplementationPart and IsPartialDefinition on property symbol, AssociatedSymbol on accessors, GetDeclaredSymbol) (GetDeclaredSymbol_*)
• [x] nullability analysis of accessor bodies against correct signature (AllowNull_*, NullableDifference_Analysis)
• [x] xml docs (PartialProperties_*)
• [x] Overrides (Semantics_ExtendedModifier)
• [x] Override a property where the base has a modopt https://github.com/dotnet/roslyn/pull/72999#discussion_r1583890486
• [ ] EnC

Productivity

• [x] IDE minbar (completion, QuickInfo, formatting, colorization, no crashes in manual test pass)
• [x] GoToDefinition/GoToImplementation

[Cosifne]

Verified works in Document outline, Navigation bar and solution explorer

[hi-xiaoxin]

When can we experience partial properties in the VS preview version? I can't wait any longer. This feature will greatly simplify and optimize many of our libraries, and it definitely has revolutionary significance.

Thank you for the contributions of the Roslyn team.

[RikkiGibson]

The feature will be available in VS 17.11 Preview 3. If you want to experiment with the feature in the short term, a nightly compiler build should be available within a day or so.