JetBrains / JetBrains/ExternalAnnotations
Add annotations to System.Convert
Open
- 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.