Check this expression and return an object that describes its type (or throw an exception if an unrecoverable error occurs).
(Context ctxt, VarEnv env)
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected