Consider this code from ASP.NET MVC's source code:
public static IApplicationBuilder UseMvc(
[NotNull] this IApplicationBuilder app,
[NotNull] Action<IRouteBuilder> configureRoutes) {...}
According to this answer, the annotated parameters must not be null. Then why can I pass null to the method? That is, in the case below, why doesn't the compiler give me any error?
app.UseMvc(null);