> the compiler is unable to type-check this expression in reasonable time

good: clear, honest communication
bad: that means the language design is a bit fucked, right? I shouldn't be seeing this several times a day.

@fasterthanlime sorry, what? this is probably the rust, or swift I suppose, version of I'm in absolute hell