Martin Kellogg

icon indicating a website link https://web.njit.edu/~mjk76/ icon indicating an email [email protected]

icon location Assistant Professor at the New Jersey Institute of Technology. I work on making software verification practical for developers.

Results 61 comments of Martin Kellogg

On upgrade to 3.47.0 supplier seems to get inferred as nullable

Oh, I didn't see that the reporter had added a reproducer. @agentgt beat me to it by a few minutes :)