code: void checkAccessibleType(Env<AttrContext> env, Type t) {
          accessibilityChecker.visit(t, env);
      }
docs: Performs a recursive scan of a type looking for accessibility problems
  from current attribution environment