ReSharper Support | JetBrains

Lauri Lubi

Total activity 5
Last activity December 08, 2020 09:44
Member since November 09, 2020 12:50
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 1

Lauri Lubi commented, December 08, 2020 09:44
Thank you! [DoesNotReturnIf(false)] does the trick! It seems like both Roslyn and Rider/Resharper respect it, so [ContractAnnotation] is not needed any more.
- 0 votes
Lauri Lubi commented, November 30, 2020 09:17
Oh, I see! Before I can report it to MS... Resharper analysis reads the [ContractAnnotation] on method Assert() and therefore knows that args cannot be null after that. Do you think there is a simi...
- 0 votes
Lauri Lubi commented, November 24, 2020 13:32
Hi, while re-creating a demo example, I noticed that the key was C# nullability context. Also known as <Nullable>enable</Nullable> in C# project-file. I tested with C# language version 8.0. Example...
- 0 votes
Lauri Lubi commented, November 09, 2020 12:50
This used to work for Resharper, but the latest Rider does respect this as far as I can see. It is a bug? Are there any workarounds?
- 0 votes