check User doesn't work

[mahrud]

i1 : TEST ///print 12///

i2 : check User
 -- capturing check(0, "User")                                               -- 0.0430203 seconds elapsed
stdio:2:1:(3): error: file not found on path: "User.m2"

Broken due to c04e5b0, specifically this line.

Note that I patched this in the brew build, so this only fails in other builds.

[DanGrayson]

It's not intended to work. "User" isn't an actual package.

[mahrud]

I don't know what you mean by "actual package". It has type Package, has dictionaries, you can add documentation and tests for it, and it is returned when you run package on any symbol you've defined. What I've written above used to work, and it's useful for many purposes, in this case running quick tests without creating a temporary package and immediately deleting it.