//// [tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignatures.ts] ////

//// [assignmentCompatWithCallSignatures.ts]
// void returning call signatures can be assigned a non-void returning call signature that otherwise matches

interface T {
    (x: number): void;
}
declare var t: T;
declare var a: { (x: number): void };

t = a;
a = t;

interface S {
    (x: number): string;
}
declare var s: S;
declare var a2: { (x: number): string };
t = s;
t = a2;
a = s;
a = a2;

t = <T>(x: T) => 1;
t = () => 1;
t = function (x: number) { return ''; }
a = <T>(x: T) => 1;
a = () => 1;
a = function (x: number) { return ''; }

interface S2 {
    (x: string): void;
}
declare var s2: S2;
declare var a3: { (x: string): void };
// these are errors
t = s2;
t = a3;
t = (x: string) => 1;
t = function (x: string) { return ''; }
a = s2;
a = a3;
a = (x: string) => 1;
a = function (x: string) { return ''; }


//// [assignmentCompatWithCallSignatures.js]
"use strict";
// void returning call signatures can be assigned a non-void returning call signature that otherwise matches
t = a;
a = t;
t = s;
t = a2;
a = s;
a = a2;
t = (x) => 1;
t = () => 1;
t = function (x) { return ''; };
a = (x) => 1;
a = () => 1;
a = function (x) { return ''; };
// these are errors
t = s2;
t = a3;
t = (x) => 1;
t = function (x) { return ''; };
a = s2;
a = a3;
a = (x) => 1;
a = function (x) { return ''; };
