blocks, DIRECTION.BottomUp,
PROGRESS.Continuing, FIXEDPOINT.No);
if (!val.getType().isSubtypeOf(subject.getType())) {
// this is not a static error but an extra run-time sanity check
throw new ImplementationError("this should really never happen",
new UnexpectedType(subject.getType(), val.getType(), this));
}
return org.rascalmpl.interpreter.result.ResultFactory.makeResult(subject.getType(),
val, __eval);