--- ai22s/ai22-0012-1.txt 2022/01/28 07:06:50 1.5 +++ ai22s/ai22-0012-1.txt 2022/02/04 03:54:52 1.6 @@ -14,7 +14,7 @@ containing nondispatching invocations of abstract functions, rather than requiring the expression to be static. -!question +!issue Suppose we declare an abstract type T0 with a nonabstract primitive Foo, with a nonabstract Pre'Class invoking All_Good: