(*
 * Test out what's going on in the type checkers's EnterNonTupleInheritedField
 * function.
 *
 * Oops, this file never got finished.
 *)

obj ... ;