@amann There’s a (very old) issue about this: https://github.com/cursive-ide/cursive/issues/238

The more you know. Yeah, a coworker instructed I use that and my immediate reaction was “that doesn’t exist, Cursive doesn’t resolve it, the REPL doesn’t resolve it”. Only of course to fine out, the REPL does resolve it if you’re inside an is etc. etc…

Yeah, there’s some black magic going on there.