"use strict";
/**
 * Tests miscellaneous types
 *
 *  Copyright (C) 2010-2020 R-T Specialty, LLC.
 *
 *  This file is part of the Liza Data Collection Framework.
 *
 *  liza is free software: you can redistribute it and/or modify
 *  it under the terms of the GNU Affero General Public License as
 *  published by the Free Software Foundation, either version 3 of the
 *  License, or (at your option) any later version.
 *
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU Affero General Public License
 *  along with this program.  If not, see <http://www.gnu.org/licenses/>.
 *
 * The tests here will simply fail to compile; there is no runtime test.
 */
var typeCheck = function (_) { };
// A0, covariant
typeCheck(0);
typeCheck(0);
typeCheck(0);
// A1, covariant
// @ts-expect-error
typeCheck(0);
typeCheck(0);
typeCheck(0);
// A2, covariant
// @ts-expect-error
typeCheck(0);
// @ts-expect-error
typeCheck(0);
typeCheck(0);
// D is disjoint from A0 despite the matchin base type (number)
// @ts-expect-error
typeCheck(0);
// As is S
// @ts-expect-error
typeCheck(0);
// A* and D are all assignable to number
typeCheck(0);
typeCheck(0);
typeCheck(0);
typeCheck(0);
// But S is not
// @ts-expect-error
0;
'foo';
// @ts-expect-error
typeCheck('foo');
typeCheck('foo');
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWlzYy10ZXN0LmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsibWlzYy10ZXN0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiI7QUFBQTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0dBcUJHO0FBWUgsSUFBTSxTQUFTLEdBQUcsVUFBSSxDQUFJLElBQU0sQ0FBQyxDQUFDO0FBRWxDLGdCQUFnQjtBQUNoQixTQUFTLENBQVMsQ0FBQyxDQUFDLENBQUM7QUFDckIsU0FBUyxDQUFTLENBQUMsQ0FBQyxDQUFDO0FBQ3JCLFNBQVMsQ0FBUyxDQUFDLENBQUMsQ0FBQztBQUVyQixnQkFBZ0I7QUFDaEIsbUJBQW1CO0FBQ25CLFNBQVMsQ0FBUyxDQUFDLENBQUMsQ0FBQztBQUNyQixTQUFTLENBQVMsQ0FBQyxDQUFDLENBQUM7QUFDckIsU0FBUyxDQUFTLENBQUMsQ0FBQyxDQUFDO0FBRXJCLGdCQUFnQjtBQUNoQixtQkFBbUI7QUFDbkIsU0FBUyxDQUFTLENBQUMsQ0FBQyxDQUFDO0FBQ3JCLG1CQUFtQjtBQUNuQixTQUFTLENBQVMsQ0FBQyxDQUFDLENBQUM7QUFDckIsU0FBUyxDQUFTLENBQUMsQ0FBQyxDQUFDO0FBRXJCLCtEQUErRDtBQUMvRCxtQkFBbUI7QUFDbkIsU0FBUyxDQUFRLENBQUMsQ0FBQyxDQUFDO0FBRXBCLFVBQVU7QUFDVixtQkFBbUI7QUFDbkIsU0FBUyxDQUFRLENBQUMsQ0FBQyxDQUFDO0FBRXBCLHdDQUF3QztBQUN4QyxTQUFTLENBQWEsQ0FBQyxDQUFDLENBQUM7QUFDekIsU0FBUyxDQUFhLENBQUMsQ0FBQyxDQUFDO0FBQ3pCLFNBQVMsQ0FBYSxDQUFDLENBQUMsQ0FBQztBQUN6QixTQUFTLENBQVksQ0FBQyxDQUFDLENBQUM7QUFFeEIsZUFBZTtBQUNmLG1CQUFtQjtBQUNoQixDQUFDLENBQUM7QUFDRixLQUFLLENBQUM7QUFDVCxtQkFBbUI7QUFDbkIsU0FBUyxDQUFZLEtBQUssQ0FBQyxDQUFDO0FBQzVCLFNBQVMsQ0FBWSxLQUFLLENBQUMsQ0FBQyJ9