Typecheck some of ui/webui/resources/js/ with Closure compiler.

chrome/browser/resources/options/browser_options.js

 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 cr.define('options', function() {
   var OptionsPage = options.OptionsPage;
   var Page = cr.ui.pageManager.Page;
   var PageManager = cr.ui.pageManager.PageManager;
   var ArrayDataModel = cr.ui.ArrayDataModel;
   var RepeatingButton = cr.ui.RepeatingButton;
@@ skipping 1327 matching lines @@
      * @return {Object} A profile info object.
      * @private
      */
     getCurrentProfile_: function() {
       for (var i = 0; i < $('profiles-list').dataModel.length; i++) {
         var profile = $('profiles-list').dataModel.item(i);
         if (profile.isCurrentProfile)
           return profile;
       }
 
-      assert(false,
-             'There should always be a current profile, but none found.');
+      assertNotReached('There should always be a current profile.');
     },
 
     /**
      * Propmpts user to confirm deletion of the profile for this browser
      * window.
      * @private
      */
     deleteCurrentProfile_: function() {
       ManageProfileOverlay.showDeleteDialog(this.getCurrentProfile_());
     },
@@ skipping 523 matching lines @@
     BrowserOptions.getLoggedInUsername = function() {
       return BrowserOptions.getInstance().username_;
     };
   }
 
   // Export
   return {
     BrowserOptions: BrowserOptions
   };
 });