JetBrains / JetBrains/ExternalAnnotations

Add annotations to System.Convert

Open
#135 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Kotlin
Stars
84
Forks
46
Avg merge
6h 55m
Merged PRs (30d)
1

Description

For instance Convert.ToString(string) doesn't do anything and can be annotated as:

```cs
[ContractAnnotation("s: notnull => notnull; s: null => null")]
public static string ToString(string s); // { return s; }
```

Similar to other methods of [Convert](https://docs.microsoft.com/en-us/dotnet/api/system.convert?view=netframework-4.7.2).

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.