--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Fri Jul  2 14:10:26 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA12774; Fri, 2 Jul 1993 14:10:26 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 8769; Fri, 02 Jul 93 14:11:21 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.EDWARDS.NOTE.YKTVMV.7865.Jul.02.14:11:20.-0400>
--*           for asbugs@watson; Fri, 02 Jul 93 14:11:21 -0400
--* Received: from ibm4.scri.fsu.edu by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Fri, 02 Jul 93 14:11:19 EDT
--* Received: by ibm4.scri.fsu.edu id AA18017
--*   (5.65c/IDA-1.4.4 for asbugs@watson.ibm.com); Fri, 2 Jul 1993 14:11:11 -0400
--* Date: Fri, 2 Jul 1993 14:11:11 -0400
--* From: Robert Edwards <edwards@ibm4.scri.fsu.edu>
--* Message-Id: <199307021811.AA18017@ibm4.scri.fsu.edu>
--* To: asbugs@watson.ibm.com
--* Subject: Compiler assertion failed [bug1.as][A# version 28.I for AIX RS/6000 (debug version)]

--@ Fixed  by: SSD Fri Jul 02 14:23:17 1993
--@ Tested by: none
--@ Summary:   Fixed handling of 'Category' type form in tfPending.

-- % asharp -v test2.as
-- A# version 28.I for AIX RS/6000 (debug version)
-- Assertion failed, file "../src/tform.c" line 1027: otf != ntf

#include "aslib.as"

G(C:Category, f:(Integer)->C): Category == BasicType
  with
    bar: f(3) -> f(7)