https://issues.dlang.org/show_bug.cgi?id=17374
--- Comment #1 from Adam D. Ruppe <destructiona...@gmail.com> --- Actually, I think what I really want from the error message is for it to find the bottom-most inferred function that fails the expected check and then just issue the error message it would give if it wasn't inferred. So in my second example, call is inferred but failed. So it pretends to attach @nogc to it then simply issues the error message that it would as if it was written that way. Boom. --