(*
 *
 * The point of this test file is to check that (if) generic where clause
 * instantiation is working as it should in terms of re-type checking the
 * objects after they've' been instantiated.  The motivation here is in
 * response, at least partially, to the 7dec98 "BIG BUG" note in the LOG.
 *
 * Here's the deal with exactly what we intend to check here.  When a generic
 * obj is instantiated by substituting one of its types in a where clause, all
 * of the ops that are defined on the generic type (i.e., the LHS of the where
 * clause) must still work on the instantiating type (i.e., the RHS of the
 * where clause).  The problem here is that when the RHS can be an any
 * arbitrary type, we wont' be able to enforce the "still works" property.
 *
 * Rather than discussing the concepts any further in this test file, we'll
 * address the issue in the implementation notes file, which is really the
 * proper forum.  Subsequently, the tests that are in this file will be
 * consistent with the implementation notes discussion.
 *
 *)