I came across an issue where R#7.1.1 reported an error but the app compiles fine.The app is an MVC asp.net. The controller returns a model of type iQueryable but the view is casting it to iPagedList. iPagedList extends IEnumerable. Library is at https://github.com/TroyGoode/PagedList
View: @model IPagedList<SomeType>
There's a mismatch which R# reported as an error but VS didn't but the mismatch was reported during runtime.
It's beneficial that R# reported the issue early on but I was wondering if this was the intended action from R# or it's a bug if VS didn't report it? I mean is it OK for R# to do more than VS?