826             }

   826             }

   827         }

   827         }

   828         return buf.toList();

   828         return buf.toList();

   829     }

   829     }

   830 

   830 

   832         return denotableChecker.visit(t, null);

   832         return denotableChecker.visit(t, null);

   833     }

   833     }

   834         // where

   834         // where

   835 

   835 

   836         /** diamondTypeChecker: A type visitor that descends down the given type looking for non-denotable

   836         /** diamondTypeChecker: A type visitor that descends down the given type looking for non-denotable