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)
no test coverage detected