class TYPE_MARK has the feature
   try_class_text: CLASS_TEXT
      require
         not is_anchored
         not_done_to_report_errors: error_handler.is_empty
      local
         bcn: CLASS_NAME
      do
         if class_text_memory = Void then
            if not has_tried_to_load then
               bcn := class_text_name
               if bcn /= Void then
                  Result := bcn.try_class_text
                  class_text_memory := Result
               end
               has_tried_to_load := True
            end
         end

For its subclass FORMAL_GENERIC_TYPE_MARK class_text_name is Void and therefore if bcn /= Void then will never be True.

NON_STATIC_TYPE_MARK.class_text_name has a
check
   False
end
in it by the way, so there seem to be some unexpected call here...