The typechecker accepts assignments from entity type names, like

var x := User;

where User is an entity name.

The type of the variable is now inferred as GenericSort(“EntityType”,[SimpleSort(“User”)]), on which the back-end gives an internal error.

Submitted by Nathan Bruning on 21 May 2010 at 16:10