Skip to content

[Version 13.0] Feature support for Partial properties and indexers #1776

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
RexJaeschke wants to merge 6 commits into
base: draft-v13
Choose a base branch
from
Draft

[Version 13.0] Feature support for Partial properties and indexers #1776

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
085a590
add support for Partial properties and indexers
RexJaeschke Aug 12, 2026
e9824d1
add support for Partial properties and indexers
RexJaeschke Aug 12, 2026
b67c40b
add support for Partial properties and indexers
RexJaeschke Aug 12, 2026
2f8406e
fix md
RexJaeschke Aug 12, 2026
d904a09
fix md
RexJaeschke Aug 12, 2026
cdbe5ef
fix md
RexJaeschke Aug 12, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 2 additions & 1 deletion standard/attributes.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -800,7 +800,7 @@

Caller-info attributes can occur on optional parameters anywhere, including in delegate declarations. However, the specific caller-info attributes have restrictions on the types of the parameters they can attribute, so that there will always be an implicit conversion from a substituted value to the parameter type.

It is an error to have the same caller-info attribute on a parameter of both the defining and implementing part of a partial method declaration. Only caller-info attributes in the defining part are applied, whereas caller-info attributes occurring only in the implementing part are ignored.
It is an error to have the same caller-info attribute on a parameter of both the defining and implementing part of a partial method or partial indexer declaration. Only caller-info attributes in the defining part are applied, whereas caller-info attributes occurring only in the implementing part are ignored.

Caller information does not affect overload resolution. As the attributed optional parameters are still omitted from the source code of the caller, overload resolution ignores those parameters in the same way it ignores other omitted optional parameters ([§12.6.4](expressions.md#1264-overload-resolution)).

Expand Down Expand Up @@ -1242,11 +1242,11 @@

This attribute may can be applied to any `ref` and it changes the ref-safe-context to be one level wider than its default. For example:

| UnscopedRef applied to | Original ref-safe-context | New ref-safe-context |

Check failure on line 1245 in standard/attributes.md

View workflow job for this annotation

GitHub Actions / lint

Table pipe style 

standard/attributes.md:1245:77 MD055/table-pipe-style Table pipe style [Expected: no_leading_or_trailing; Actual: leading_and_trailing; Unexpected trailing pipe] https://github.com/DavidAnson/markdownlint/blob/v0.41.1/doc/md055.md

Check failure on line 1245 in standard/attributes.md

View workflow job for this annotation

GitHub Actions / lint

Table pipe style 

standard/attributes.md:1245:1 MD055/table-pipe-style Table pipe style [Expected: no_leading_or_trailing; Actual: leading_and_trailing; Unexpected leading pipe] https://github.com/DavidAnson/markdownlint/blob/v0.41.1/doc/md055.md
| --- | --- | --- |

Check failure on line 1246 in standard/attributes.md

View workflow job for this annotation

GitHub Actions / lint

Table pipe style 

standard/attributes.md:1246:19 MD055/table-pipe-style Table pipe style [Expected: no_leading_or_trailing; Actual: leading_and_trailing; Unexpected trailing pipe] https://github.com/DavidAnson/markdownlint/blob/v0.41.1/doc/md055.md

Check failure on line 1246 in standard/attributes.md

View workflow job for this annotation

GitHub Actions / lint

Table pipe style 

standard/attributes.md:1246:1 MD055/table-pipe-style Table pipe style [Expected: no_leading_or_trailing; Actual: leading_and_trailing; Unexpected leading pipe] https://github.com/DavidAnson/markdownlint/blob/v0.41.1/doc/md055.md
| instance member | function-member | return-only |

Check failure on line 1247 in standard/attributes.md

View workflow job for this annotation

GitHub Actions / lint

Table pipe style 

standard/attributes.md:1247:51 MD055/table-pipe-style Table pipe style [Expected: no_leading_or_trailing; Actual: leading_and_trailing; Unexpected trailing pipe] https://github.com/DavidAnson/markdownlint/blob/v0.41.1/doc/md055.md

Check failure on line 1247 in standard/attributes.md

View workflow job for this annotation

GitHub Actions / lint

Table pipe style 

standard/attributes.md:1247:1 MD055/table-pipe-style Table pipe style [Expected: no_leading_or_trailing; Actual: leading_and_trailing; Unexpected leading pipe] https://github.com/DavidAnson/markdownlint/blob/v0.41.1/doc/md055.md
| `in` / `ref` parameter | return-only | caller-context |

Check failure on line 1248 in standard/attributes.md

View workflow job for this annotation

GitHub Actions / lint

Table pipe style 

standard/attributes.md:1248:57 MD055/table-pipe-style Table pipe style [Expected: no_leading_or_trailing; Actual: leading_and_trailing; Unexpected trailing pipe] https://github.com/DavidAnson/markdownlint/blob/v0.41.1/doc/md055.md

Check failure on line 1248 in standard/attributes.md

View workflow job for this annotation

GitHub Actions / lint

Table pipe style 

standard/attributes.md:1248:1 MD055/table-pipe-style Table pipe style [Expected: no_leading_or_trailing; Actual: leading_and_trailing; Unexpected leading pipe] https://github.com/DavidAnson/markdownlint/blob/v0.41.1/doc/md055.md
| `out` parameter | function-member | return-only |

Check failure on line 1249 in standard/attributes.md

View workflow job for this annotation

GitHub Actions / lint

Table pipe style 

standard/attributes.md:1249:51 MD055/table-pipe-style Table pipe style [Expected: no_leading_or_trailing; Actual: leading_and_trailing; Unexpected trailing pipe] https://github.com/DavidAnson/markdownlint/blob/v0.41.1/doc/md055.md

Check failure on line 1249 in standard/attributes.md

View workflow job for this annotation

GitHub Actions / lint

Table pipe style 

standard/attributes.md:1249:1 MD055/table-pipe-style Table pipe style [Expected: no_leading_or_trailing; Actual: leading_and_trailing; Unexpected leading pipe] https://github.com/DavidAnson/markdownlint/blob/v0.41.1/doc/md055.md

When applying this attribute to an instance method of a struct it modifies the implicit `this` parameter; that is, `this` acts as an unannotated `ref` of the same type.

Expand Down Expand Up @@ -1576,6 +1576,7 @@
The attribute can be applied to a class, struct, ref struct, or interface. The attribute is not inherited although it can be applied to a base class or an abstract class.

The builder type shall be a non-generic class or struct.

### 23.5.13 The InlineArray attribute

The attribute `InlineArray` is used to identify a non-record struct as an inline array type. For further information and examples of its use, see [§16.6](structs.md#166-inline-arrays).
Expand Down
Loading
Loading