/**
 * @flow
 */

///////////////////////////////////////////////////
// == Importing Class Typeof (Default Export) == //
///////////////////////////////////////////////////

import typeof ClassFoo1T from "./ExportDefault_Class";
import ClassFoo1 from "./ExportDefault_Class";

var a1: ClassFoo1T = ClassFoo1;
var a2: ClassFoo1T = new ClassFoo1(); // Error: ClassFoo1 (inst) ~> ClassFoo1 (class)
new ClassFoo1T(); // Error: ClassFoo1T is not bound to a value

/////////////////////////////////////////////////
// == Importing Class Typeof (Named Export) == //
/////////////////////////////////////////////////

import typeof {ClassFoo2 as ClassFoo2T} from "./ExportNamed_Class";
import {ClassFoo2} from "./ExportNamed_Class";

var b1: ClassFoo2T = ClassFoo2;
var b2: ClassFoo2T = new ClassFoo2(); // Error: ClassFoo2 (inst) ~> ClassFoo2 (class)
new ClassFoo2T(); // Error: ClassFoo2T is not bound to a value

///////////////////////////////////////////////////////
// == Importing Class Typeof (CJS Default Export) == //
///////////////////////////////////////////////////////

import typeof ClassFoo3T from "./ExportCJSDefault_Class";
import ClassFoo3 from "./ExportCJSDefault_Class";

var c1: ClassFoo3T = ClassFoo3;
var c2: ClassFoo3T = new ClassFoo3(); // Error: ClassFoo3 (inst) ~> ClassFoo3 (class)

/////////////////////////////////////////////////////
// == Importing Class Typeof (CJS Named Export) == //
/////////////////////////////////////////////////////

import typeof {ClassFoo4 as ClassFoo4T} from "./ExportCJSNamed_Class";
import {ClassFoo4} from "./ExportCJSNamed_Class";

var d1: ClassFoo4T = ClassFoo4;
var d2: ClassFoo4T = new ClassFoo4(); // Error: ClassFoo4 (inst) ~> ClassFoo4 (class)

//////////////////////////////////////////////////////
// == Importing Function Typeof (Default Export) == //
//////////////////////////////////////////////////////

import typeof functionFoo1T from "./ExportDefault_Function";
import functionFoo1 from "./ExportDefault_Function";
(functionFoo1: functionFoo1T);
(() => {}: functionFoo1T); // Error: return types are not compatible

////////////////////////////////////////////////////
// == Importing Function Typeof (Named Export) == //
////////////////////////////////////////////////////

import typeof {functionFoo2 as functionFoo2T} from "./ExportNamed_Function";
import {functionFoo2} from "./ExportNamed_Function";
(functionFoo2: functionFoo2T);
(() => {}: functionFoo2T); // Error: return types are not compatible

//////////////////////////////////////////////////////////
// == Importing Function Typeof (CJS Default Export) == //
//////////////////////////////////////////////////////////

import typeof functionFoo3T from "./ExportCJSDefault_Function";
import functionFoo3 from "./ExportCJSDefault_Function";
(functionFoo3: functionFoo3T);
(() => {}: functionFoo3T); // Error: return types are not compatible

////////////////////////////////////////////////////////
// == Importing Function Typeof (CJS Named Export) == //
////////////////////////////////////////////////////////

import typeof {functionFoo4 as functionFoo4T} from "./ExportCJSNamed_Function";
import {functionFoo4} from "./ExportCJSNamed_Function";
(functionFoo4: functionFoo4T);
(() => {}: functionFoo4T); // Error: return types are not compatible

//////////////////////////////////////////////
// == Import Typeof Alias (Named Export) == //
//////////////////////////////////////////////

import typeof {AliasFoo3} from "./ExportNamed_Alias"; // Error: Can't `import typeof` type aliases!

////////////////////////////////////////////////
// == Import Typeof Alias (Default Export) == //
////////////////////////////////////////////////

// TODO: No support for this right now. It's most likely possible, but it's
//       unclear how useful it is at the moment and it entails a little
//       more work than named type exports, so I'm punting on it for now.

///////////////////////////////////////////////////////////////
// == Import Typeof With Non-Class Value (Default Export) == //
///////////////////////////////////////////////////////////////

import typeof num_default from "./ExportDefault_Number";

var f1: num_default = 42;
var f2: num_default = 'asdf'; // Error: string ~> number

/////////////////////////////////////////////////////////////
// == Import Typeof With Non-Class Value (Named Export) == //
/////////////////////////////////////////////////////////////

import typeof {num as num_named} from "./ExportNamed_Number";

var g1: num_named = 42;
var g2: num_named = 'asdf'; // Error: string ~> number

///////////////////////////////////////////////////////////////////
// == Import Typeof With Non-Class Value (CJS Default Export) == //
///////////////////////////////////////////////////////////////////

import typeof num_cjs_default from "./ExportCJSDefault_Number";

var h1: num_cjs_default = 42;
var h2: num_cjs_default = 'asdf'; // Error: string ~> number

/////////////////////////////////////////////////////////////////
// == Import Typeof With Non-Class Value (CJS Named Export) == //
/////////////////////////////////////////////////////////////////

import typeof {num as num_cjs_named} from "./ExportCJSNamed_Number";

var i1: num_cjs_named = 42;
var i2: num_cjs_named = 'asdf'; // Error: string ~> number

///////////////////////////////////////////////
// == Import Typeof ModuleNamespaceObject == //
///////////////////////////////////////////////

import typeof * as ModuleNSObjT from "./ExportNamed_Multi";
var j1: ModuleNSObjT = {num: 42, str: 'asdf'};
var j2: ModuleNSObjT = {num: 42, str: 42}; // Error: number ~> string


////////////////////////////////////////////////////
// == Import typeof empty file with no exports == //
////////////////////////////////////////////////////

import typeof E from './empty';
({a: 1}: E); // Error

///////////////////////////////////
// == Unaliased typeof import == //
///////////////////////////////////

import {typeof C, C as CImpl1} from "./ExportClassAndType";
new CImpl1(); // ok
(CImpl1: C); // ok
("str": C); // Error

/////////////////////////////////
// == Aliased typeof import == //
/////////////////////////////////

import {typeof C as CPrime, C as CImpl2} from "./ExportClassAndType";
new CImpl2(); // ok
(CImpl2: CPrime); // ok
("str": CPrime); // Error
