typechecks, but where is it diverging

Author: andrew4328

lib/core/phi.lsts

@@ -23,16 +23,16 @@ let .retain(x: xt): xt = (
    for case in $cases-of(x) {
       if x.discriminator-case-tag==(x as case).discriminator-case-tag {
          for field in $fields-of(x as case) {
-            if typeof( macro::concat($".", field) ) <: type(MustRetain) {
+            if typeof( macro::concat($".", field)(x as case) ) <: type(MustRetain) {
                mark-as-released( macro::concat($".", field)(x as case).retain );
             };
-            if typeof( macro::concat($".", field)(x) ) <: type(OwnedData<?>) {
+            if typeof( macro::concat($".", field)(x as case) ) <: type(OwnedData<?>) {
                mark-as-released( macro::concat($".", field)(x as case).retain );
             };
-            if typeof( macro::concat($".", field)(x) ) <: type(OneOwnedData<?>) {
+            if typeof( macro::concat($".", field)(x as case) ) <: type(OneOwnedData<?>) {
                mark-as-released( macro::concat($".", field)(x as case).retain );
             };
-            if typeof( macro::concat($".", field)(x) ) <: type(SparseOwnedData<?>) {
+            if typeof( macro::concat($".", field)(x as case) ) <: type(SparseOwnedData<?>) {
                mark-as-released( macro::concat($".", field)(x as case).retain );
             };
          };
@@ -45,16 +45,16 @@ let .release(x: xt): Nil = (
    for case in $cases-of(x) {
       if x.discriminator-case-tag==(x as case).discriminator-case-tag {
          for field in $fields-of(x) {
-            if typeof( macro::concat($".", field)(x) ) <: type(MustRetain) {
+            if typeof( macro::concat($".", field)(x as case) ) <: type(MustRetain) {
                macro::concat($".", field)(x as case).release;
             };
-            if typeof( macro::concat($".", field)(x) ) <: type(OwnedData<?>) {
+            if typeof( macro::concat($".", field)(x as case) ) <: type(OwnedData<?>) {
                macro::concat($".", field)(x as case).release;
             };
-            if typeof( macro::concat($".", field)(x) ) <: type(OneOwnedData<?>) {
+            if typeof( macro::concat($".", field)(x as case) ) <: type(OneOwnedData<?>) {
                macro::concat($".", field)(x as case).release;
             };
-            if typeof( macro::concat($".", field)(x) ) <: type(SparseOwnedData<?>) {
+            if typeof( macro::concat($".", field)(x as case) ) <: type(SparseOwnedData<?>) {
                macro::concat($".", field)(x as case).release;
             };
          };