Skip to content

[Nullable Reference Types] Nullable, Non-nullable, and "Nullable oblivous" reference types #1089

Closed
@BillWagner

Description

@BillWagner

Update the clause on types to describe the reference types for "nullable reference types", "non-nullable reference types", and reference types in a "nullable oblivous context".

This should include that there is an identity conversion among the nullable reference type, its non-nullable type and the corresponding "nullable oblivious" type. (For example between string and string?, note that string could mean a non-nullable reference type, or a nullable oblivious type).

It should also add a note (or possibly a normative statement) that the nullability of a reference type argument can't participate in overload resolution. Members can't be overloaded based on the nullability of a reference parameter.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions